fix some documentation typos