make IE happy