Correct out-of-date comment.