diff --git a/admin/webservice/documentation.php b/admin/webservice/documentation.php
index 9c727eaf9ac..329a4101bf9 100644
--- a/admin/webservice/documentation.php
+++ b/admin/webservice/documentation.php
@@ -25,7 +25,7 @@
  */
 require_once('../../config.php');
 require_once($CFG->libdir . '/adminlib.php');
-require($CFG->dirroot . '/webservice/lib.php');
+require_once($CFG->dirroot . '/webservice/lib.php');
 
 admin_externalpage_setup('webservicedocumentation');
 
diff --git a/user/managetoken.php b/user/managetoken.php
index 87b4163fc25..bc3e08f8852 100644
--- a/user/managetoken.php
+++ b/user/managetoken.php
@@ -40,7 +40,7 @@ $rsstokenboxhtml = $webservicetokenboxhtml = '';
 if ( !is_siteadmin($USER->id)
     && !empty($CFG->enablewebservices)
     && has_capability('moodle/webservice:createtoken', $usercontext )) {
-    require($CFG->dirroot.'/webservice/lib.php');
+    require_once($CFG->dirroot.'/webservice/lib.php');
 
     $action  = optional_param('action', '', PARAM_ALPHANUMEXT);
     $tokenid = optional_param('tokenid', '', PARAM_SAFEDIR);
diff --git a/webservice/wsdoc.php b/webservice/wsdoc.php
index 9e118f94611..92098b22655 100644
--- a/webservice/wsdoc.php
+++ b/webservice/wsdoc.php
@@ -24,7 +24,7 @@
  */
 
 require_once('../config.php');
-require($CFG->dirroot . '/webservice/lib.php');
+require_once($CFG->dirroot . '/webservice/lib.php');
 
 require_login();