Work around IE issues.

Work around two IE issues.

One should be squashed with a previous commit.

The other is a new issue.

See the commit message for the detail please.