Workaround for a bug in Microsoft Internet Explorer.