IE tweaks: