Small addendum about `hash_code()`