Updated leaflet library to 0.7.2