slight change to .gitignore