make the IE happy