A few edits to the vignettes