A few typo fixes and clarifications.