minor fix for .gitignore