John, If you find a mistake on the map, no matter if it was made by a human or a bot- just fix it. - Serge