A few spelling corrections and clarifications