fix negation bug