Fix filename in .gitignore

It works but it is not semantically correct.