diff --git a/user/index.php b/user/index.php
index 99aa0af2243..5b56b5d2965 100644
--- a/user/index.php
+++ b/user/index.php
@@ -78,11 +78,11 @@ function print_user($user, $course, $teacherlinks) {
if ($teacherlinks) {
$tt = getdate(time());
$today = mktime (0, 0, 0, $tt["mon"], $tt["mday"], $tt["year"]);
- echo "id&user=$user->id\">Contributions
";
+ echo "id&user=$user->id\">Contributions
";
echo "id&user=$user->id&date=$today\">Today's logs
";
- echo "id&user=$user->id\">All logs
";
+ echo "id&user=$user->id\">All logs
";
if (isstudent($course->id, $user->id)) {
- echo "id&user=$user->id\">Login as
";
+ echo "id&user=$user->id\">Login as
";
}
}
echo "id&course=$course->id\">Full profile...";