Bug in the hash table implementation corrected