numerous trivial corrections and clarifications