Trivial documentation updates