tiny typo fixes.