BktBallRef JLC, 10.1.8 is exactly on point here. In fact, it's the same play. The officials handled the play properly. The offending team does not have to score for this to be corrected.