Documentation inconsistency in color grammar

[siefkenj]

In table 4, an ext expr is defined as

→ ⟨core model⟩,⟨div⟩:⟨expr⟩1 ,⟨dec⟩1 ;⟨expr⟩2 ,⟨dec⟩2 ;...;⟨expr⟩k ,⟨dec⟩k
→ ⟨core model⟩:⟨expr⟩1 ,⟨dec⟩1 ;⟨expr⟩2 ,⟨dec⟩2 ;...;⟨expr⟩k ,⟨dec⟩k

but the description on page 16 of the documentation says that an ext expr ends in ⟨expr⟩k !⟨dec⟩k. Is this a typo in the documentation where ! should actually be ,, or is there something else going on?