Minor addition to .gitignore