fix regressions in entailment tests