Re #312: Fix leaflet asset paths.