Removing a file that was added by mistake (how did that happen?)