Trivial changes to .gitignore