Fixing missing negation