Small .gitignore tweak