minor changes in vignette