minor change to .gitignore