Update to map-0.4.2