fix negation