Update to Leaflet 0.7.2