fix a bug in setting of highestKnownPrimaryinSet