Tiny fix of negation  functor