Updated inherited-deletion vignette.