Fixing `hash()`