HTML4, XMLHttpRequest: Little fix for IEs.