Some slight clarifications, and an extension to the corollary.