diff --git a/libraries/display_export.lib.php3 b/libraries/display_export.lib.php3
index 7e38c1a16..e7abc61d5 100644
--- a/libraries/display_export.lib.php3
+++ b/libraries/display_export.lib.php3
@@ -220,11 +220,6 @@ if (isset($table) && !empty($table) && !isset($num_tables)) {
-
: