more IE tweaks