slight change to .gitignore.