Fix leaflet display bug

Leaflet has a bug where, if placed in a dynamically created div in a
certain way, the size of the display is miscalcuated. This forces the
map to recompute the size.