update leaflet.js v0.7.2