The official should have stayed out of it altogether and left it to the players. Generally a roving official should not impose on a match unless appealed to by the players.
Second best would be to call the ball out if it was clearly out. Fairness in competition is the goal of the code, not technicality.
4.0 - (2)Prince Exo3 Tour 100 18x20 mosquito bite 54lbs x gosen 17 54lbs