Minor edits to the vignette