Small fix to .gitignore