add_criterion: fix for possible merge error