some minor modifications to the vignette