diff --git a/admin/settings/frontpage.php b/admin/settings/frontpage.php
index 24a537689fe..71538f1cd44 100644
--- a/admin/settings/frontpage.php
+++ b/admin/settings/frontpage.php
@@ -55,8 +55,9 @@ if (!during_initial_install()) { //do not use during installation
         // front page default role
         $roleoptions = array(0=>get_string('none')); // roles to choose from
         if ($roles = get_all_roles()) {
+            role_fix_names($roles, $frontpagecontext, ROLENAME_ALIAS_RAW);
             foreach ($roles as $role) {
-                $roleoptions[$role->id] = strip_tags(format_string($role->name, true));
+                $roleoptions[$role->id] = $role->name;
             }
         }
         $temp->add(new admin_setting_configselect('defaultfrontpageroleid', get_string('frontpagedefaultrole', 'admin'), '', 0, $roleoptions));