forgot a file; fix .gitignore