Lots of documentation fixes, and minor tweaks.