Minor clarification of a comment in ShortSet.