diff --git a/lib/csslib.php b/lib/csslib.php
index 548f854adac..b2460005d17 100644
--- a/lib/csslib.php
+++ b/lib/csslib.php
@@ -113,7 +113,7 @@ function css_send_ie_css($themename, $rev, $etag, $slasharguments) {
 
     $relroot = preg_replace('|^http.?://[^/]+|', '', $CFG->wwwroot);
 
-    $css  = "/** Unfortunately IE6/7 does not support more than 4096 selectors in one CSS file, which means we have to use some ugly hacks :-( **/";
+    $css  = "/** Unfortunately IE6-9 does not support more than 4096 selectors in one CSS file, which means we have to use some ugly hacks :-( **/";
     if ($slasharguments) {
         $css .= "\n@import url($relroot/styles.php/$themename/$rev/plugins);";
         $css .= "\n@import url($relroot/styles.php/$themename/$rev/parents);";