diff --git a/index.html b/index.html
index 703933a7..af73894b 100644
--- a/index.html
+++ b/index.html
@@ -174,6 +174,8 @@
  pre.src {background-color: #263238; color: #ffffff;}</style>
 <style type="text/css">
  pre.src {background-color: #263238; color: #ffffff;}</style>
+<style type="text/css">
+ pre.src {background-color: #263238; color: #ffffff;}</style>
 <script type="text/javascript">
 /*
 @licstart  The following is the entire license notice for the
@@ -5101,7 +5103,6 @@ This function replaces the default naming scheme with a call to
         <span style="color: #B388FF;">(</span><span style="color: #fff59d;">let*</span> <span style="color: #76ff03;">(</span><span style="color: #26A69A;">(</span>name <span style="color: #FFCDD2;">(</span>imalison:generate-name datum cache<span style="color: #FFCDD2;">)</span><span style="color: #26A69A;">)</span>
                <span style="color: #26A69A;">(</span>number <span style="color: #FFCDD2;">(</span>+ 1 <span style="color: #795548;">(</span>gethash name reverse-cache -1<span style="color: #795548;">)</span><span style="color: #FFCDD2;">)</span><span style="color: #26A69A;">)</span>
                <span style="color: #26A69A;">(</span>new-name <span style="color: #FFCDD2;">(</span>format <span style="color: #9ccc65;">"%s%s"</span> name <span style="color: #795548;">(</span><span style="color: #fff59d;">if</span> <span style="color: #DCE775;">(</span>&lt; 0 number<span style="color: #DCE775;">)</span> number <span style="color: #9ccc65;">""</span><span style="color: #795548;">)</span><span style="color: #FFCDD2;">)</span><span style="color: #26A69A;">)</span><span style="color: #76ff03;">)</span>
-          <span style="color: #76ff03;">(</span>message <span style="color: #9ccc65;">"number for %s is %s new-name is %s"</span> name number new-name<span style="color: #76ff03;">)</span>
           <span style="color: #76ff03;">(</span>puthash name number reverse-cache<span style="color: #76ff03;">)</span>
           <span style="color: #76ff03;">(</span>puthash datum new-name cache<span style="color: #76ff03;">)</span>
           new-name<span style="color: #B388FF;">)</span><span style="color: #EF6C00;">)</span><span style="color: #2196F3;">)</span><span style="color: #e91e63;">)</span>