Update the comment in connection with the release of IE10