Minor changes in text of vignette