Clean up some documentation typos