update leaflet 5.1
Bug #878