minor update in git/gitignore