We fixed a hashtable bug