diff --git a/cis/private/lehre/benotungstool/menue.inc.php b/cis/private/lehre/benotungstool/menue.inc.php
index 501f85d23..b9e1164a5 100644
--- a/cis/private/lehre/benotungstool/menue.inc.php
+++ b/cis/private/lehre/benotungstool/menue.inc.php
@@ -28,4 +28,4 @@ echo "		</td>\n";
 echo "	</tr>\n";
 echo "</table>\n";
 echo "<!--Menue Ende-->\n\n";
-?>
\ No newline at end of file
+?>