verif: fixup duplicate cases.