Small change in .gitignore