Could you tell me what happened? Like, what file you tried to delete, or what did you do before deleting it? It would help me track down the bug.
Either file seemed to do it.
