Minor additions to .gitignore.