That's my bad, accidentally left in some earlier wording. All the numbers are correct except for references to 10 billion - those should all be 420 million. It should be updated in the text soon.