changes of map.js received on 11 June from gcontino