small fix in IE