It's worth noting that the economist John Quiggin didn't propose an adjustment for this in the bet.