minor change to mapping.js