Fix bug in KBucketSet