Fix bug in disjunction