--- tabs.module.orig 2009-08-20 21:59:00.000000000 +0200
+++ tabs.module 2009-08-21 20:22:02.203125000 +0200
@@ -72,7 +72,10 @@ function tabs_pre_render_tabset($element
continue;
}
// Display any #description before the #content.
- $element[$key]['#content'] = (isset($element[$key]['#description']) && $element[$key]['#description'] ? '
'. $element[$key]['#description'] .'
' : '') . $element[$key]['#content'];
+ if (isset($element[$key]['#description']) && $element[$key]['#description']) {
+ $element[$key]['#content'] = ''. $element[$key]['#description'] .'
'. $element[$key]['#content'];
+ unset($element[$key]['#description']);
+ }
$element[$key]['#tabset_name'] = $element['#tabset_name'];
$element[$key]['#title'] = check_plain($element[$key]['#title']);
// If not explicitly set, construct a tab name from the title.