v1.7: Leaflet instead of Google Maps API