typo fixes from Jesse Ruderman