Trivial documentation changes