Minor change to .gitignore