diff --git a/course/student.php b/course/student.php
index 4aff6912cc328..3ec3d5fc9eedb 100644
--- a/course/student.php
+++ b/course/student.php
@@ -45,7 +45,8 @@
print_header("$course->shortname: $strassignstudents",
"$site->fullname",
- "id\">$course->shortname -> $strassignstudents", "");
+ "id\">$course->shortname -> $strassignstudents",
+ "studentform.searchtext");
/// Don't allow restricted teachers to even see this page (because it contains
/// a lot of email addresses and access to all student on the server