#9454: avoid unnecessarily refresh the map