fixed a bug in searching in mapping-manager.js