diff --git a/lib/setup.php b/lib/setup.php
index 3f2a4786905..f6a84f2c3bf 100644
--- a/lib/setup.php
+++ b/lib/setup.php
@@ -359,6 +359,7 @@ global $THEME;
                 if ($USER = get_user_info_from_db("username", "w3cvalidator")) {
                     $USER->loggedin = true;
                     $USER->site = $CFG->wwwroot;
+                    $USER->ignoresesskey = true;
                 } else {
                     $USER = guest_user();
                 }