20180211 world.us: $5 million payout in US for a missing comma