bugfixing in hashset