minor tweak .gitignore