Index: wp-admin/theme-editor.php
===================================================================
--- theme-editor.php	(revision 10150)
+++ theme-editor.php	(working copy)
@@ -96,7 +96,7 @@
 <?php endif;
 
 $description = get_file_description($file);
-$desc_header = ( $description != $file_show ) ? "$description</strong> (%s)" : "%s";
+$desc_header = ( $description != $file_show ) ? "$description</strong> (%s)" : "%s</strong>";
 ?>
 <div class="wrap">
 <?php screen_icon(); ?>