Hm hatte ich auch einmal, aber ist dann nicht wider aufgetaucht. Starte ihn einfach neu, wenn es nochmal passieren sollte. Sollte es öffters vorkommen, einfach öffters speichern.