On the radius of habitable planets