Fix some uncontroversial typos