minor change to gitignore