A little mod to the .gitignore