Fix display of the doc of prod()