diff --git a/libraries/Util.class.php b/libraries/Util.class.php
index 5d9b07340e..3e9addfc37 100644
--- a/libraries/Util.class.php
+++ b/libraries/Util.class.php
@@ -2345,8 +2345,9 @@ class PMA_Util
}
/* Opera has trouble with */
- /* IE has trouble with