Interesting. That doesn't surprise me as much as it should, probably because when I was a kid the "two-earthlike-planets-colliding" theory for the origin of the asteroid belt was still considered credible. But in retrospect, you'd think there would have to have been some sort of disturbance for planetary collisions in a mature system.
Like, you know, Galactus stopped by or something.