Fixed bug in hashset