But there was no mention of any bankruptcy in their SEC filings. I wonder how the SEC found out.