That's about right. But that is to reach "former Equity" (via escrow shares) -- has no relation to WMIH.
And it may be a bit higher -- depending on how Employee Claims and the unliquidated or other Class 18 claims go -- they are between PIERS and former Equity.