Bug fix on negation

No longer falsely reports errors while working