upgrading to Leaflet 0.7.2