Trivial documentation typos