Fix out-of-date comment.