more debugging for IE