The point to the extra shot if the shooter misses is to give the shooter an uninterrupted chance. The ref did that by taking back the ball and starting over. The horn is what caused the problem, not the player stepping in, and there is no penalty for table people screwing up.
|