diff --git a/lib/deprecatedlib.php b/lib/deprecatedlib.php
index e1852203822..c70aaf2d5e9 100644
--- a/lib/deprecatedlib.php
+++ b/lib/deprecatedlib.php
@@ -3325,7 +3325,7 @@ function choose_from_menu_yesno($name, $selected, $script = '', $return = false,
 function choose_from_menu_nested($options,$name,$selected='',$nothing='choose',$script = '',
                                  $nothingvalue=0,$return=false,$disabled=false,$tabindex=0) {
 
-    debugging('choose_from_menu_nested() has been removed. Please change your code to use html_writer:.select().');
+    debugging('choose_from_menu_nested() has been removed. Please change your code to use html_writer::select().');
     global $OUTPUT;
 }