=== modified file 'includes/theme.inc'
--- includes/theme.inc	2006-09-05 10:11:29 +0000
+++ includes/theme.inc	2006-10-12 23:26:18 +0000
@@ -535,7 +535,10 @@ function theme_links($links, $attributes
       }
       else if ($link['title']) {
         //Some links are actually not links, but we wrap these in <span> for adding title and class attributes
-        $output .= '<span'. drupal_attributes($link['attributes']) .'>'. check_plain($link['title']) .'</span>';
+        if (!isset($link['html'] || $link['html']) {
+          $link['title'] = check_plain($link['title']);
+        }
+        $output .= '<span'. drupal_attributes($link['attributes']) .'>'. $link['title'] .'</span>';
       }
 
       $i++;