debugging vignette