Fix breakage in IE