Minor change in .gitignore