Re: #1257 IE fix