Index: tools/scan-build/scan-build
===================================================================
--- tools/scan-build/scan-build
+++ tools/scan-build/scan-build
@@ -766,7 +766,7 @@
           my $x = shift @fname;
           print OUT $x;
           if ($#fname >= 0) {
-            print OUT "<span class=\"W\"> </span>/";
+            print OUT "/";
           }
         }
       }