Why does it even matter how much they allocated? If I allocate $10 to pay my rent, that doesn't mean my rent check will need to be adjusted.

They need to allocate more, and if it puts them into bankruptcy (it won't), there are legal processes for handling their liabilities.