Fix in noweb sauce, last paragraph was being interpreted as code