Fix missing CHECK-LABELs