Another fix in .gitignore