bugfix for map.html (forgot to upgrade jquery/leaflet libs there)