added some last-minute typo fixes and other small improvements