Small addition to .gitignore