Small bug in IE code branch