minor update to .gitignore