Index: wp-settings.php
===================================================================
--- wp-settings.php	(revision 4340)
+++ wp-settings.php	(working copy)
@@ -67,9 +67,10 @@
 	$mtime = $mtime[1] + $mtime[0];
 	$timeend = $mtime;
 	$timetotal = $timeend-$timestart;
+	$r = number_format($timetotal, $precision);
 	if ( $display )
-		echo number_format($timetotal,$precision);
-	return $timetotal;
+		echo $r;
+	return $r;
 }
 timer_start();
 
Index: wp-admin/admin-footer.php
===================================================================
--- wp-admin/admin-footer.php	(revision 4340)
+++ wp-admin/admin-footer.php	(working copy)
@@ -3,7 +3,7 @@
 	<p><a href="http://wordpress.org/" id="wordpress-logo"><img src="images/wordpress-logo.png" alt="WordPress" /></a></p>
 	<p>
 		<?php _e('<a href="http://codex.wordpress.org/">Documentation</a>'); ?> &#8212; <?php _e('<a href="http://wordpress.org/support/">Support Forums</a>'); ?> <br />
-		<?php bloginfo('version'); ?> &#8212; <?php printf(__('%s seconds'), number_format(timer_stop(), 2)); ?>
+		<?php bloginfo('version'); ?> &#8212; <?php printf(__('%s seconds'), timer_stop(0, 2)); ?>
 	</p>
 </div>
 <?php do_action('admin_footer', ''); ?>