diff --git a/user/view.php b/user/view.php
index 8009ae86de0..27b1680265b 100644
--- a/user/view.php
+++ b/user/view.php
@@ -27,6 +27,7 @@ require_once("../config.php");
 require_once($CFG->dirroot.'/user/profile/lib.php');
 require_once($CFG->dirroot.'/tag/lib.php');
 require_once($CFG->libdir . '/filelib.php');
+require_once($CFG->libdir . '/badgeslib.php');
 
 $id        = optional_param('id', 0, PARAM_INT);   // user id
 $courseid  = optional_param('course', SITEID, PARAM_INT);   // course id (defaults to Site)
@@ -341,7 +342,6 @@ if (!isset($hiddenfields['mycourses'])) {
     }
 }
 
-require_once($CFG->libdir . '/badgeslib.php');
 if (!empty($CFG->enablebadges) && !empty($CFG->badges_allowcoursebadges)) {
     profile_display_badges($user->id, $courseid);
 }