minor correction in __eq__