update Leaflet naar 0.7