Fixed bug in lock-based hashset