diff --git a/auth/cas/forbidden.php b/auth/cas/forbidden.php
index d2d4989ddb1..80a62e6b2f8 100644
--- a/auth/cas/forbidden.php
+++ b/auth/cas/forbidden.php
@@ -1,10 +1,16 @@
fullname: $loginsite", "$site->fullname", $loginsite,
- $focus, "", true, "
$langmenu
");
+
+ print_header("$site->fullname: $loginsite", "$site->fullname", $loginsite);
include("forbidden.html");
print_footer();
exit;
diff --git a/auth/cas/lib.php b/auth/cas/lib.php
index f4399fbde55..ff348ae0b68 100644
--- a/auth/cas/lib.php
+++ b/auth/cas/lib.php
@@ -1,5 +1,5 @@
dirroot.'/config.php');
diff --git a/auth/cas/login.php b/auth/cas/login.php
index 8f2aa8a38b3..ba86d7598b2 100644
--- a/auth/cas/login.php
+++ b/auth/cas/login.php
@@ -1,9 +1,9 @@
dirroot.'/config.php');
+dirroot.'/lib/cas/CAS.php');
phpCAS::client($CFG->cas_version,$CFG->cas_hostname,(Integer)$CFG->cas_port,$CFG->cas_baseuri);
$backurl = $CFG->wwwroot;