More documentation tweaks.