minor tweaks for IE