That occurred to me, too. The 25 percent discount to market is pretty small, as these things go. I suppose we'll see if the SEC does anything.