diff --git a/course/user.php b/course/user.php
index 9f4d72658fa..e10fa7f7294 100644
--- a/course/user.php
+++ b/course/user.php
@@ -16,11 +16,11 @@
     if (! $course = get_record("course", "id", $id)) {
         error("Course id is incorrect.");
     }
-    
+
     if (! $user = get_record("user", "id", $user)) {
         error("User ID is incorrect");
     }
-    
+
     //require_login($course);
     $COURSE = clone($course);