Small fix in IE driver