Bugfix about Not(!) operator.

Bugfix