small fix in Equality