Re: #1257 ie debug