Minor documentation mods.