Fix disjointness check.