Small corrections regarding vignette