other small fixes to __eq__