diff --git a/src/current/include/display.xsl b/src/current/include/display.xsl
index e1e0ee2a..b0fa8130 100644
--- a/src/current/include/display.xsl
+++ b/src/current/include/display.xsl
@@ -493,6 +493,7 @@
+
@@ -507,6 +508,7 @@
+
@@ -515,14 +517,14 @@
- \(
+ let \(
=