The numbers roughly stack up to the remaining buy back. By my calculations, there is still about 15.6m shares the company can buy back.