--- 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.