diff --git a/lib/navigationlib.php b/lib/navigationlib.php
index 52ff46d9c1f..a239ebcd7cf 100644
--- a/lib/navigationlib.php
+++ b/lib/navigationlib.php
@@ -2452,8 +2452,8 @@ class global_navigation extends navigation_node {
 
                     $reporttab = $usercoursenode->add(get_string('activityreports'));
 
-                    $reports = get_plugin_list_with_function('report', 'extend_navigation_user', 'lib.php');
-                    foreach ($reports as $reportfunction) {
+                    $reportfunctions = get_plugin_list_with_function('report', 'extend_navigation_user', 'lib.php');
+                    foreach ($reportfunctions as $reportfunction) {
                         $reportfunction($reporttab, $user, $usercourse);
                     }