oops; fix double negation