bug fix on !eq