Then you should definitely run a deep scan of your disk that caused the problem. Who knows what else may become corrupted.