minor change to .gitignore.