minor mod to .gitignore