diff --git a/misc-scripts/production_database/scripts/update_database_list.pl b/misc-scripts/production_database/scripts/update_database_list.pl
index d5d159af40a3b8539aa15551f4ea500ef58bd45b..12c6d1b6e025cbda08c3029c8252ff64298c219a 100755
--- a/misc-scripts/production_database/scripts/update_database_list.pl
+++ b/misc-scripts/production_database/scripts/update_database_list.pl
@@ -265,4 +265,8 @@ if ( scalar( keys(%existing_databases) ) !=
       printf( "\t%s\n", $db_name );
     }
   }
+  print("\n");
+  print(  "If these are really properly gone, "
+        . "please remove the corresponding\n"
+        . "entries from the 'db' table of the production database.\n" );
 }