Deleted an out-of-date comment.