diff --git a/course/student.html b/course/student.html
index fddd0d0907e..35e3cc1a323 100644
--- a/course/student.html
+++ b/course/student.html
@@ -72,7 +72,7 @@
           ?>
          </select>
          <br />
-         <input type="text" name="searchtext" size="30" value="<?php echo p($searchtext) ?>" 
+         <input type="text" name="searchtext" size="30" value="<?php p($searchtext) ?>" 
                   onFocus ="document.studentform.add.disabled=true;
                             document.studentform.remove.disabled=true;
                             document.studentform.removeselect.selectedIndex=-1;