Slightly amended references to leaflet.js