diff --git a/lib/navigationlib.php b/lib/navigationlib.php
index cf1596d30d5..d1c4b700ecd 100644
--- a/lib/navigationlib.php
+++ b/lib/navigationlib.php
@@ -3928,6 +3928,10 @@ class settings_navigation extends navigation_node {
         // Let plugins hook into course navigation.
         $pluginsfunction = get_plugins_with_function('extend_navigation_course', 'lib.php');
         foreach ($pluginsfunction as $plugintype => $plugins) {
+            // Ignore the report plugin as it was already loaded above.
+            if ($plugintype == 'report') {
+                continue;
+            }
             foreach ($plugins as $pluginfunction) {
                 $pluginfunction($coursenode, $course, $coursecontext);
             }