minor correction to gitignore