Added vignette #9.