IE 7 fix hopefully.

Windows Internet Explorer 7 (IE7) is a web browser released by
Microsoft in October 2006.