minor fixes
oh right, git add . doesn't add deleted files