minor fix to hashtable spec