tweaks to make Internet Explorer happier