Misc documentation tweaks.