Fix type in vignette