diff --git a/public/internal/header.php b/public/internal/header.php
index cf7ad8532c3dd1cebcf629a17392acafaca24f2d..b031402d211738d6e8934370eea0a7f8fa01e203 100644
--- a/public/internal/header.php
+++ b/public/internal/header.php
@@ -3,7 +3,7 @@
 function getHeader($pagetitle, $navselect)
 {
     include "config.php";
-    include "menue.php";
+    include "menu.php";
 
     $menu = getMenu($navselect);
     if (strpos($_SERVER['HTTP_HOST'], '.onion') !== false) {
diff --git a/public/internal/menue.php b/public/internal/menu.php
similarity index 100%
rename from public/internal/menue.php
rename to public/internal/menu.php