He's actually paying as if he sold it all at the time his citizenship was revoked. It's the "exit tax" all the stories on this mention.