Fix small .gitignore problem