Fix in the vignette