This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Under 17.1.1 map:merge, public CR, an example is given: let $week := map{0:"Sonntag", 1:"Montag", 2:"Dienstag", 3:"Mittwoch", 4:"Donnerstag", 5:"Freitag", 6:"Samstag"} The "let" in this example is not rendered as Courier. In the Internal Working Draft this may already have been fixed (it has the correct layout), but that one introduces a different typo: a bunch of redundant spaces between item 2 and 3: let $week := map{0:"Sonntag", 1:"Montag", 2:"Dienstag", 3:"Mittwoch", 4:"Donnerstag", 5:"Freitag", 6:"Samstag"} ----- In addition, and unrelated, the public CR shows the subtitle with date as "W3C Candidate Recommendation 18 December 2014" and the Internal Working Draft shows "W3C Candidate Recommendation 11 December 2015", which suggests that the current Internal WD is not the same version as the "live" CR.
That didn't render so well in BugZilla, the spaces are in here: ... 2:"Dienstag", 3:"Mittwoch", ...
Thanks, now fixed.