Added vignette #13.