diff --git a/static/web.js b/static/web.js
index fbc66a6..460568f 100644
--- a/static/web.js
+++ b/static/web.js
@@ -598,7 +598,7 @@
         .replace(/<anon>:(\d+):(\d+)/mg, jumpToPoint);  // new errors
     }
 
-    function formatMir(text) {
+    function formatMirScopes(text) {
         return text.replace(/<anon>:(\d+):(\d+):\s+(\d+):(\d+)/mg, jumpToRegion);
     }