diff --git a/admin/roles/lib.php b/admin/roles/lib.php
index 5c3ee931994..73f590d5c38 100644
--- a/admin/roles/lib.php
+++ b/admin/roles/lib.php
@@ -1531,6 +1531,13 @@ class admins_potential_selector extends user_selector_base {
 
         return array($groupname => $availableusers);
     }
+
+    protected function get_options() {
+        global $CFG;
+        $options = parent::get_options();
+        $options['file'] = $CFG->admin . '/roles/lib.php';
+        return $options;
+    }
 }
 
 class admins_existing_selector extends user_selector_base {
@@ -1573,4 +1580,11 @@ class admins_existing_selector extends user_selector_base {
 
         return array($groupname => $availableusers);
     }
+
+    protected function get_options() {
+        global $CFG;
+        $options = parent::get_options();
+        $options['file'] = $CFG->admin . '/roles/lib.php';
+        return $options;
+    }
 }