in that wording, texinfo.tex replaces a colon with a semicolon and a
comma with a semicolon
Odd, I wonder where that came from. Anyway, thanks, I fixed it.
Also, texinfo.tex contains some trailing white space.
Sorry, we have to agree to disagree on this ...
Cheers,
k
