Small fix in .gitignore