Minor generalizations and clarifications to vignette.