Fix NotIdenticalOperator