Fixed the description of a workaround comment.