diff --git a/src/util/print.jam b/src/util/print.jam
index 8ee4b4f8e..464381b5c 100644
--- a/src/util/print.jam
+++ b/src/util/print.jam
@@ -285,11 +285,11 @@ rule lines (
         indent = "" ;
         for local c in $(indent-chars)
         {
-            if $(c) = " " { c =   ; }
-            else if $(c) = "	" { c =      ; }
+            if $(c) = " " { c = " " ; }
+            else if $(c) = "	" { c = "    " ; }
             indent = $(indent)$(c) ;
         }
-        local html-text = [ escape-html $(text) :   ] ;
+        local html-text = [ escape-html $(text) : " " ] ;
         text $(html-text[1])<br> $(indent)$(html-text[2-])<br> ;
     }
 }