Another fix in __eq__