Small changes to .gitignore