Repairing an overlap between polygons