diff --git a/cis/private/lehre/benotungstool/menue.inc.php b/cis/private/lehre/benotungstool/menue.inc.php
index 8bd0db671..3c580b07a 100644
--- a/cis/private/lehre/benotungstool/menue.inc.php
+++ b/cis/private/lehre/benotungstool/menue.inc.php
@@ -18,7 +18,7 @@ else if ($pfile == 'statistik.php')
$class_statistik = 'benotungstool_tabs_active';
echo "\n\n\n";
-echo "
'.$p->t('benotungstool/benotungstool'); +echo '
|