Minor change in trigger of NOT