fix bugs in not equality handling