8-K should be coming out anytime for the loan paid off 5/20. More shares going back into the treasury.