diff -r 6389511d4609 -r fade1d3a2995 Admin/profiling_report
--- a/Admin/profiling_report	Thu Jul 14 20:32:37 2005 +0200
+++ b/Admin/profiling_report	Fri Jul 15 11:26:22 2005 +0200
@@ -27,7 +27,7 @@
 }
 
 foreach my $fun (keys %log) {
-    push @output, (sprintf "%8d %s\n", $log{$fun}, $fun);
+    push @output, (sprintf "%12d %s\n", $log{$fun}, $fun);
 }
 
 print (sort @output);