diff --git a/include/admin/plugins.inc.php b/include/admin/plugins.inc.php
index f2c3992f..7a33aa66 100644
--- a/include/admin/plugins.inc.php
+++ b/include/admin/plugins.inc.php
@@ -523,11 +523,11 @@ if (isset($_GET['serendipity']['plugin_to_conf'])) {
if ($bag->is_set('configuration')) {
/* Only play with the plugin if there is something to play with */
- echo '';
+ echo '';
die();
} else {
/* If no config is available, redirect to plugin overview, because we do not want that a user can install the plugin a second time via accidental browser refresh */
- echo '';
+ echo '';
die();
}
} else {