diff --git a/plugins/Diagnostics/index.php b/plugins/Diagnostics/index.php
index a17f428..3e7124b 100644
--- a/plugins/Diagnostics/index.php
+++ b/plugins/Diagnostics/index.php
@@ -133,8 +133,7 @@ if ((isset($_SESSION['login'])&&$_SESSION['login']===true)&&
 } else {
 
 	// Don't go further if the user is not logged in
-	echo('You have to be logged in to see more information.');
-	exit();
+	exit('You have to be logged in to see more information.');
 
 }
 
diff --git a/plugins/Log/index.php b/plugins/Log/index.php
index b20da7e..4964eb5 100644
--- a/plugins/Log/index.php
+++ b/plugins/Log/index.php
@@ -57,8 +57,7 @@ if ((isset($_SESSION['login'])&&$_SESSION['login']===true)&&
 } else {
 
 	// Don't go further if the user is not logged in
-	echo('You have to be logged in to see the log.');
-	exit();
+	exit('You have to be logged in to see the log.');
 
 }