Update to leaflet v0.7.2