fixed a small bug in mapping-manager.js