Update some vignette instructions