Small edit to .gitignore