diff --git a/phpBB/includes/sessions.php b/phpBB/includes/sessions.php
index 702761dfeb..e09e3dc9df 100644
--- a/phpBB/includes/sessions.php
+++ b/phpBB/includes/sessions.php
@@ -394,7 +394,7 @@ function session_end($session_id, $user_id)
 		}
 	}
 
-	$sessiondata['userid'] = ANONYMOUS
+	$sessiondata['userid'] = ANONYMOUS;
 
 	$serialised_cookiedata = serialize($sessiondata);
 	setcookie($cookiename . '_data', $serialised_cookiedata, ($current_time + 31536000), $cookiepath, $cookiedomain, $cookiesecure);