[Plugin: WordPress.com Stats] JavaScript error in Internet Explorer

Internet Explorer gives the following JavaScript error with this plugin activated: “‘undefined’ is empty or not an object” I think the problem is here:

if ( typeof addLoadEvent != ‘undefined’ ) {addLoadEvent(load_cmc);}
else {load_cmc();}

I’m thinking of changing it into:

if ( !addLoadEvent ) {addLoadEvent(load_cmc);}
else {load_cmc();}

Or perhaps:

if ( typeof load_cmc != ‘undefined’ ) {addLoadEvent(load_cmc);}
else {load_cmc();}

What would be the best method to get rid of the error without affecting how the scripts works? Perhaps there’s a better solution than the ones I suggested?

http://ww.wp.xz.cn/extend/plugins/stats/