--- a/svghmi/widget_jump.ysl2	Thu Mar 26 13:33:20 2020 +0100
+++ b/svghmi/widget_jump.ysl2	Thu Mar 26 14:21:52 2020 +0100
@@ -5,7 +5,8 @@
 
     |     on_click: function(evt) {
     |         const index = this.indexes.length > 0 ? this.indexes[0] + this.offset : undefined;
-    |         switch_page(this.args[0], index);
+    |         const name = this.args[0];
+    |         switch_page(name, index);
     |     },
     |     init: function() {
     /* registering event this way does not "click" through svg:use