Specify the precise version of IE referenced in this problem

jquery.flot.js

@@ -955,7 +955,7 @@ Licensed under the MIT license.
 
                 // accept various kinds of newlines, including HTML ones
                 // (you can actually split directly on regexps in Javascript,
-                // but IE is unfortunately broken)
+                // but IE < 9 is unfortunately broken)
                 var lines = (t.label + "").replace(/<br ?\/?>|\r\n|\r/g, "\n").split("\n");
                 for (var j = 0; j < lines.length; ++j) {
                     var line = { text: lines[j] },