Fix some typos

Just some trivial typo fixes.