Small edits to vignettes