in domLib.js change line 37 to:
var domLib_isIE = (!domLib_isKHTML && !domLib_isOpera &&
(domLib_userAgent.indexOf('msie 5') != -1 ||
domLib_userAgent.indexOf('msie 6') != -1 ||
domLib_userAgent.indexOf('msie 7') != -1));
It's only necessary to set variable isIE to true when IE7 is detected.