Improvements to GeoJSON export