diff --git a/lib/weblib.php b/lib/weblib.php
index d8f4049f3ea..7c5ae4268de 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -739,7 +739,7 @@ function choose_from_menu_nested($options,$name,$selected='',$nothing='choose',$
             $output .= '   <optgroup label="'.$section.'">'."\n";
             foreach ($values as $value => $label) {
                 $output .= '   <option value="'. $value .'"';
-                if ($value == $selected) {
+                if ((string)$value == (string)$selected) {
                     $output .= ' selected="selected"';
                 }
                 if ($label === '') {