still smaller GeoJSON