A couple of mostly minor corrections and clarifications