fix error in vignette (thanks N.G.)