diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index 200e9120..60d3b5e8 100644
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -193,4 +193,5 @@ function page_footer($missing = "") {
 <?php
 	echo script("setupSubmitHighlight(document);");
 	echo script("setupCopyToClipboard(document);");
+	echo "</body>\n</html>";
 }