Minor code clean-up in explorer.map.js