Fix bug in the MINUS clauses