minor bug in vignette