fix error in vignette