Fix an outdated comment.