Hashtable: Fix a 64-bit shortening warning