diff -r 3f7b4a2009ba -r 2fb9849c6721 svghmi/sprintf.js
--- a/svghmi/sprintf.js	Fri May 06 11:01:07 2022 +0200
+++ b/svghmi/sprintf.js	Fri May 06 11:02:03 2022 +0200
@@ -95,12 +95,12 @@
                             see meaning of DateTimeFormat's options "datestyle" and "timestyle" in MDN 
                         */
 
-                        let [datestyle, timestyle] = [ph.width, ph.precision].map(val => {
+                        let [datestyle, timestyle] = [ph.width, ph.precision].map(val => ({
                             1: "short",
                             2: "medium",
                             3: "long",
                             4: "full"
-                        }[val]);
+                        }[val]));
 
                         if(timestyle === undefined && datestyle === undefined){
                             timestyle = "short";