fix Maps.extend (discussed in #1138)