Disjoint function: minor edit