Small fix for Internet Explorer