A few tweaks to make IE happy