Two minor fixes to vignette