Added leaflet.js definition