Vignette: title had "R/simcross"; oops!