More updates to the vignette