small change to .gitignore