Tiny typo corrections.