diff --git a/course/info.php b/course/info.php
index e1a5cdad861..995517ae91b 100644
--- a/course/info.php
+++ b/course/info.php
@@ -5,8 +5,8 @@
     require_once("../config.php");
     require_once("lib.php");
 
-    require_variable($id);    // Course id
-    optional_variable($name);
+    $id   = optional_param('id', false, PARAM_INT); // Course id
+    $name = optional_param('name', false, PARAM_RAW); // Course short name
 
     if (!$id and !$name) {
         error("Must specify course id or short name");