Fixed bugs in treatment of negation