add the `__hash__` method.