fix a bug in ht_delete