fix incorrect negation