Fine tune javascript for Internet Explorer.