a bug in hashtable lookup