More fixups for IE8