more IE workarounds