minor changes to docs and .gitignore