Fixes and minor additions to the docs.