Fix typing into editor, and deleting the right file