minor formatting change to the code in the vignette