diff --git a/user/profile.php b/user/profile.php
index 8559d197853..4919d230769 100644
--- a/user/profile.php
+++ b/user/profile.php
@@ -36,6 +36,7 @@
 
 require_once(dirname(__FILE__) . '/../config.php');
 require_once($CFG->dirroot . '/my/lib.php');
+require_once($CFG->dirroot . '/tag/lib.php');
 require_once($CFG->dirroot . '/user/profile/lib.php');
 require_once($CFG->libdir.'/filelib.php');