docs HashSet confusion