Unexpected error. File contents could not be restored from local history during undo/redo.