Typo fixes from Barry Arthur.