Small tweak for IE