Minor changes to .gitignore.