the new custom hash set seems to work...