normalizedString

Part 2, 3.3.1, "normalizedString"
says:

[Definition:]  normalizedString represents white space normalized strings. The ·value space· of normalizedString is the set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters. The ·lexical space· of normalizedString is the set of strings that do not contain the carriage return (#xD) nor tab (#x9) characters. The ·base type· of normalizedString is string.

Shouldn't the lexical space of 'normalizedString' also prohibit #A?
If for some reason this is not the case (e.g., implicit conversion to
space), you should say what happens in the mapping.

Similarly, 3.3.2, "token", says:

[Definition:]  token represents tokenized strings. The ·value space· of token is the set of strings that do not contain the line feed (#xA) nor tab (#x9) characters, that have no leading or trailing spaces (#x20) and that have no internal sequences of two or more spaces. The ·lexical space· of token is the set of strings that do not contain the line feed (#xA) nor tab (#x9) characters, that have no leading or trailing spaces (#x20) and that have no internal sequences of two or more spaces. The ·base type· of token is normalizedString. 

Shouldn't 'token' likewise prohibit #D in the value and lexical spaces?
This is admittedly implied as a derivation of 'normalizedString', but
you already reiterate #A.

Thanks!

Cliff Binstock
binstock@pacifier.net