Fix some documentation typos