Minor documentation typos