minor addition to gitignore