minor tweak to .gitignore