Ajax tabs inserts a #title attribute

An attribute '#title' gets inserted if the tab is ajax. Line 100 in tabs.module

$element[$key]['#attributes']['#title'] =  $element[$key]['#tab_name'];

This in turn gets printed out as HTML at line 25 tabs.theme.inc:

$output .= '<li'. drupal_attributes($element[$key]['#attributes']) .'><a href="' . $element[$key]['#url'] . '"><span class="tab">'. $element[$key]['#title'] .'</span></a></li>';

So you end up with a tab looking something like

<li #title="tab-title" ...

Don't think we need to add a title attribute, seems to work fine without one and all it's doing is inserting bad markup onto the page.