Fixed a typo, whoops

diff --git a/lib/setup.php b/lib/setup.php
index f846ecbd6958c10b88d26dcedb1595479c763218..2d3f556f5d4e12674f5608c443e2c7b2ab4c5ee7 100644 (file)
--- a/lib/setup.php
+++ b/lib/setup.php
@@ -267,7 +267,7 @@
     if ($CFG->theme == 'standardxhtml') {    // Temporary measure to help with XHTML validation
         if (empty($_SESSION['USER'])) {      // Allow W3CValidator in as user called w3cvalidator (or guest)
             if ((strpos($_SERVER['HTTP_USER_AGENT'], 'W3C_Validator') !== false) or 
-                (strpos($_SERVER['HTTP_USER_AGENT'], 'Cynthia') !== false ) {
+                (strpos($_SERVER['HTTP_USER_AGENT'], 'Cynthia') !== false )) {
                 if (!$USER = get_user_info_from_db("username", "w3cvalidator")) {
                     $USER = guest_user();
                 }