Absolutely correct. From what I have discovered, a larger amount will be returned to the treasury in the very near future.