Fix main in IE.