Some minor updates to vignette.