A couple of corrections and clarifications in docs.