diff --git a/js-assembler/runtime-src/baselib-format.js b/js-assembler/runtime-src/baselib-format.js
index 648a575..75eed48 100644
--- a/js-assembler/runtime-src/baselib-format.js
+++ b/js-assembler/runtime-src/baselib-format.js
@@ -409,7 +409,7 @@
 
         if (baselib.functions.isProcedure(x)) {
             node = document.createElement("span");
-            node.appendChild(document.createTextNode('#<procedure: ' + x.displayName + '>'));
+            node.appendChild(document.createTextNode('#<procedure:' + x.displayName + '>'));
             $(node).addClass("procedure");
             return node;
         }
diff --git a/tests/more-tests/isolating-bug.expected b/tests/more-tests/isolating-bug.expected
index 0eee34b..9ea2d90 100644
--- a/tests/more-tests/isolating-bug.expected
+++ b/tests/more-tests/isolating-bug.expected
@@ -1,3 +1,27 @@
+#<struct-type:swf>
 #<procedure:make-swf>
 #<procedure:swf?>
 #<procedure:swf-f>
+#<procedure:set-swf-f!>
+in the result of call-with-values
+(#<struct-type:swf> #<procedure:make-swf> #<procedure:swf?> #<procedure:swf-f> #<procedure:set-swf-f!>)
+---
+#<struct-type:swf>
+#<procedure:make-swf>
+#<procedure:swf?>
+#<procedure:swf-f>
+#<procedure:set-swf-f!>
+***
+#<struct-type:swf2>
+#<procedure:make-swf2>
+#<procedure:swf2?>
+#<procedure:swf2-f>
+#<procedure:set-swf2-f!>
+in the result of call-with-values
+(#<struct-type:swf2> #<procedure:make-swf2> #<procedure:swf2?> #<procedure:swf2-f> #<procedure:set-swf2-f!>)
+---
+#<struct-type:swf2>
+#<procedure:make-swf2>
+#<procedure:swf2?>
+#<procedure:swf2-f>
+#<procedure:set-swf2-f!>
diff --git a/tests/run-more-tests.rkt b/tests/run-more-tests.rkt
index 01cd2c4..c13c92a 100644
--- a/tests/run-more-tests.rkt
+++ b/tests/run-more-tests.rkt
@@ -25,6 +25,7 @@
 (test "more-tests/images.rkt")
 (test "more-tests/lists.rkt")
 (test "more-tests/simple-apply.rkt")
+(test "more-tests/isolating-bug.rkt")
 (test "more-tests/hello-bf.rkt")
 (test "more-tests/conform.rkt")
 (test "more-tests/earley.rkt")