Minor edit to .gitignore