IE outputs 80 as a port number even if there is no port specified in
the url. Therefore, we should not try to reconstruct the href, just ask
the anchor for the href and let it format it how the browser likes it.