minor .gitignore fix