Small tweaks, updated vignette