Minor updates to vignette