Fix comment about the version of IE that the workaround is for.