fixed a file name in .gitignore