Bug fix in OpenAddressingHashSet