Minor fixes to documentation and .gitignore