trivial documentation updates.