Corrected KOI radii (thanks to Simon for pointing this out)