Index: mod1/index.php =================================================================== --- mod1/index.php (revision 28797) +++ mod1/index.php (working copy) @@ -1937,9 +1937,9 @@ * can safely use '#' */ if ($hidden) - return '' . htmlspecialchars($label) . ''; + return '' . $label . ''; else - return '' . htmlspecialchars($label) . ''; + return '' . $label . ''; } } else { return $label;