fix map_manager.js