Perhaps, more shares were retired from Jan. 1 to Apr. 15 this year as the 10k is up to Dec. 31, 13 only.