Minor changes to .gitignore