Solange der Fehler nicht wieder auftritt würde ich garnichts machen.