some last-minute typo fixes