Trivial changes to .gitignore.