[Scheme-reports] question with R7RS draft 8 section 7.1.6 <definition> and 7.1.7 <library declaration>

I have a question for <definition> and <library declaration> of section 7.1.6 and 7.1.7 respectively.

draft 8 section 7.1.6:

(begin ⟨definition⟩*)

correct?:

| (begin ⟨definition⟩+)

draft 8 section 7.1.7:

| (begin ⟨command or definition⟩*)

(else ⟨library declaration⟩*))

correct?:

| (begin ⟨command or definition⟩+)

(else ⟨library declaration⟩+))

Shouldn't the above expressions be treated like a sequence which is a non-empty list?

regards,

Joe N.

⟨definition⟩ −→ (define ⟨identifier⟩ ⟨_expression_⟩)

| (define (⟨identifier⟩ ⟨def formals⟩) ⟨body⟩) | ⟨syntax definition⟩
| (define-values ⟨formals⟩ ⟨body⟩)
| (define-record-type ⟨identifier⟩ ⟨constructor⟩ ⟨identifier⟩ ⟨field spec⟩*)

| (begin ⟨definition⟩*)

library declaration⟩ −→ (export ⟨export spec⟩*)

| ⟨import declaration⟩
| (begin ⟨command or definition⟩*)
| ⟨includer⟩
| (include-library-declarations ⟨string⟩+) | (cond-expand ⟨cond-expand clause⟩+)
| (cond-expand ⟨cond-expand clause⟩+

(else ⟨library declaration⟩*))