diff --git a/data/xslt/xml2xhtml.xsl b/data/xslt/xml2xhtml.xsl
index b5aeba94..706ff997 100644
--- a/data/xslt/xml2xhtml.xsl
+++ b/data/xslt/xml2xhtml.xsl
@@ -227,6 +227,7 @@
- 0 $accept → unit "end of file" + 0 $accept → unit "end of file" - 1 unit → assignments exp + 1 unit → assignments exp - 2 assignments → %empty - 3 | assignments assignment + 2 assignments → %empty + 3 | assignments assignment - 4 assignment → id ":=" exp + 4 assignment → id ":=" exp - 5 id → "identifier" + 5 id → "identifier" - 6 @1 → %empty + 6 @1 → %empty - 7 @2 → %empty + 7 @2 → %empty - 8 exp → "incr" exp @1 @2 exp - 9 | "(" exp ")" - 10 | "identifier" - 11 | "number" + 8 exp → "incr" exp @1 @2 exp + 9 | "(" exp ")" + 10 | "identifier" + 11 | "number"
- 3 exp → exp "+" exp + 3 exp → exp "+" exp
- 0 $accept → exp $end + 0 $accept → exp $end - 1 exp → exp "⊕" exp - 2 | exp "+" exp - 3 | exp "+" exp - 4 | "number" - 5 | "Ñùṃéℝô" + 1 exp → exp "⊕" exp + 2 | exp "+" exp + 3 | exp "+" exp + 4 | "number" + 5 | "Ñùṃéℝô"