--- drupal-7/user.module	2008-12-23 09:18:32.000000000 -0500
+++ user.module	2008-12-30 17:48:43.687500000 -0500
@@ -819,7 +819,7 @@ function user_block_view($delta = '') {
 
     case 'navigation':
       if ($menu = menu_tree()) {
-        $block['subject'] = $user->uid ? check_plain($user->name) : t('Navigation');
+        $block['subject'] = $user->uid ? theme('username', $user) : t('Navigation');
         $block['content'] = $menu;
       }
       return $block;