Minor changes to the .gitignore.