Identified a fixable bug in behDisjoin.