diff --git a/tutorial/Wmml.pmod b/tutorial/Wmml.pmod index 33f1e45fcb0ec9c2a0c91c619e1711b239e48a01..fd8ff9aa209deb2d13490761d4dbfd03a4737026 100644 --- a/tutorial/Wmml.pmod +++ b/tutorial/Wmml.pmod @@ -500,7 +500,7 @@ SGML make_concrete_wmml(SGML data) ({ Sgml.Tag("dl",([]),tag->pos, ({ - Sgml.Tag("man_title",(["title":upper_case(tag->tag)),tag->pos, + Sgml.Tag("man_title",(["title":upper_case(tag->tag)]),tag->pos, ({ Sgml.Tag("tt",([]),tag->pos,({fullname})), " - ",