bugfixes in not()