hotfix for IE's window.location.href behavior