fix eq/neq bugs