fix wrong disequality checks