They also had a substantial amount of accounts receivable at the end of the quarter. So payments received for products already sold could have been used to pay down the debt.