diff --git a/lib/navigationlib.php b/lib/navigationlib.php
index 9691409..531d71c 100644
--- a/lib/navigationlib.php
+++ b/lib/navigationlib.php
@@ -1459,7 +1459,7 @@ class global_navigation extends navigation_node {
                         } else {
                             // We should never ever arrive here - if we have then there is a bigger
                             // problem at hand.
-                            throw coding_exception('Category path order is incorrect and/or there are missing categories');
+                            throw new coding_exception('Category path order is incorrect and/or there are missing categories');
                         }
                     }
                 }