fix boolean negation