The timing probably has more to do with expiring options than it specifically does around strength of the market or the business.