diff --git a/setup/manageheader.php b/setup/manageheader.php
index e7bf8b15e0..3c9f305b45 100644
--- a/setup/manageheader.php
+++ b/setup/manageheader.php
@@ -77,6 +77,7 @@
         echo "<input type=submit name=\"junk\" value=\"continue\">";
         echo "</form>";
         echo "</body></html>";
+        break;
       }else{
         $phpgw_setup->show_header("Error generating header.inc.php", False, "header");
         echo "Could not open header.inc.php for writing!<br>\n";