fix for std::unordered_set