diff --git a/user/managetoken.php b/user/managetoken.php
index 1e46f9cb8cd..6e89032f353 100644
--- a/user/managetoken.php
+++ b/user/managetoken.php
@@ -29,6 +29,8 @@ require('../config.php');
 $PAGE->set_url('/user/managetoken.php');
 $PAGE->set_title(get_string('securitykeys', 'webservice'));
 $PAGE->set_heading(get_string('securitykeys', 'webservice'));
+$PAGE->set_context(get_system_context());
+$PAGE->set_pagelayout('standard');
 
 require_login();
 require_sesskey();
@@ -89,7 +91,6 @@ if (!empty($CFG->enablerssfeeds)) {
     }
 }
 
-
 // PAGE OUTPUT
 echo $OUTPUT->header();
 if (!empty($resetconfirmation)) {