FIX: major bug in get_hash_code