more minor changes to .gitignore