直しました。けど、別の保存のときに編集マークが消えないことがあるかもしれません。
あまり害は無いので、バグ報告待ちとします。何はともあれ次回をお楽しみに。