Took out spurious hashtable_destroy. Shouldn't make a difference, but it shouldn't have been there.
Authored by: tswift 2014-08-02
Parent: [r8004]
Child: [r8006]
