Minor correction to documentation.
Cleaned up .gitignore.