Shame Igor.
What about carefully masking above and below the line of the red, after first giving the area a clear coat, then re-touching the white circle by hand, using a fine brush. Let this fully dry, then carefully re-paint the red, starting on the edge of the circle ?
The damage to the circle is fairly small, so I think this should be possible.