diff --git a/spip_cookie.php3 b/spip_cookie.php3
index 6ed0e78184ae7c87cb8b321b5ff3efde9e8a5e5a..2cfb94fc10cc9481aea0aec33493119319fd3b4e 100644
--- a/spip_cookie.php3
+++ b/spip_cookie.php3
@@ -13,7 +13,7 @@ if ($rejoue==oui) {
 		supprimer_session($spip_session);
 		setcookie ('spip_session', $spip_session, time() - 24 * 7 * 3600);
 		setcookie ('spip_session', $cookie, time() + 24 * 7 * 3600);
-		@header('Content-Type: text/javascript')
+		@header('Content-Type: text/javascript');
 		echo " \n";	// ne pas renvoyer un fichier vide, ca fait ramer.
 		exit;
 	}