fix a typo in the vignette reported by Sean