Use Leaflet 0.7.2