 versus $830 million to $850 million just shortly ago. And that is, of course, going to impact earnings as well. So that's not good. Obviously, Joel Anderson leaving, and it was very quick. I don't know that really anybody expected it, and he's just leaving to pursue other interests. It makes you wonder what those other interests are. If there wasn't something else more behind this,