Documentation updates

Fixes for little bugs in the docs, and adding documentation for several undocumented options.