minor tweak on hashtable resizing