Some little tweaks for IE, etc