--- drupal-7\user.module	2009-02-03 13:55:32.000000000 -0500
+++ user.module	2009-02-04 09:54:55.515625000 -0500
@@ -974,7 +974,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;