fixed typo in map-impl.k