Fix a bug with the console in IE introduced by a pull request.