Added @rndblnch's erratum in recipe 4.9.