Fix documentation typos pointed out by @nhmc