slight modification to .gitignore