Fix missing negation