Fix an issue in the .gitignore