Fix a few doc bugs.
Prepare documentation for release.