fix Maps.extend (discussed in #1138)
Merge pull request #1150 from evindor/original-mag

Fix Maps.extend (discussed in #1138)