Tiny changes in .gitignore