ugly hacks to get geojson with nicer properties