Fix to __eq__()