Hm, maybe they didn't mean ocean would be smaller in general. Maybe they meant that there also will be new smaller oceans. In 1.7.2 I often find round (cratershaped ) bays that are actually small oceans along the shorelines, which creates nice deeper bayareas than the very shallow ones before (makes for better looking harbors and beachareas.