Fixed RooFit bug in RooProdPdf