Fix some trivial documentation typos