Ticket 209: Editorial: Typos in 7.1.2 (may already be removed)

The <datum> production in 7.1.2 (page 50) has a clause that is <label> <datum>. Shouldn't that be

to provide the #0=... portion of reader labelling?

At the end of 7.1.2, there's a missing line break before the <label> production. It's ended up on the same line as the <vector> production, making it difficult to spot.