fixed 'NOT' bug