Fix some trivial typos