diff -r 0fe1f610698d -r 43add2be1371 install.php
--- a/install.php	Sat Nov 17 21:09:31 2007 -0500
+++ b/install.php	Sat Nov 17 22:56:26 2007 -0500
@@ -97,7 +97,7 @@
   }
   if ( !$resumed && $allow_skip )
   {
-    echo_stage_success($stage_id, "[dbg: skipped] $stage_name");
+    echo_stage_success($stage_id, $stage_name);
     return false;
   }
   if ( !function_exists($function) )