few IE specific tweaks