That's the headline number from the statement of claim, not how much they're entitled to. You can write whatever number you want in a statement of claim, and they did!