updated debugging vignette