diff --git a/html/index.php b/html/index.php
index 85eea5758..17914f743 100755
--- a/html/index.php
+++ b/html/index.php
@@ -86,8 +86,6 @@ function popUp(URL) {
         <div style="margin: 7px;"></div>
 <?php
   if($_SESSION['authenticated']) {
-# FIXME: file below is MISSING!
-#    include("includes/warn-deleted-ports.inc.php");
     ## Authenticated. Print a page.
     if(isset($_GET['page']) && !strstr("..", $_GET['page']) &&  is_file("pages/" . $_GET['page'] . ".php")) {
       include("pages/" . $_GET['page'] . ".php");