Minor bug fix in NOT