fix missing negation