diff --git a/lib/espruinotools.js b/lib/espruinotools.js
index d70f3cc..5bf8fdb 100644
--- a/lib/espruinotools.js
+++ b/lib/espruinotools.js
@@ -33712,7 +33712,7 @@ global.esmangle = require('../lib/esmangle');
         }
         let length = str.length;
         if (length==0) { // it's shorter just to write quotes
-          resultCode += "";
+          resultCode += tokenString;
         } else if (length<256)
           resultCode += String.fromCharCode(LEX_RAW_STRING8, length) + str;
         else if (length<65536)