No, per their PR, they are not buying at this time. The buy-back is expected to resume in mid-October.