typo in disjoin