minor changes to .gitignore