Amendments to .gitignore