Update an embarassing out-of-date comment.