diff --git a/mod/forum/search.php b/mod/forum/search.php
index cf1e0f740d0..9d2cb7c6226 100644
--- a/mod/forum/search.php
+++ b/mod/forum/search.php
@@ -40,7 +40,7 @@
if (!$search) {
print_header_simple("$strsearch", "",
"id\">$strforums -> $strsearch", "search.search",
- "", "", " ", navmenu($course), true);
+ "", "", " ", navmenu($course));
echo '
'; // forum-search wrapper start
@@ -63,7 +63,7 @@
print_header_simple("$strsearchresults", "",
"
id\">$strforums ->
id\">$strsearch -> \"$search\"", "search.search",
- "", "", " ", navmenu($course), true);
+ "", "", " ", navmenu($course));
echo '
'; // forum-search wrapper start
@@ -88,7 +88,7 @@
print_header_simple("$strsearchresults", "",
"
id\">$strforums ->
id\">$strsearch -> \"$search\"", "search.search",
- "", "", $searchform, navmenu($course), true);
+ "", "", $searchform, navmenu($course));
echo '
'; // forum-search wrapper start