In article ,
Dave Plowman wrote:

In article ,
MiNE 109 wrote:
You should have overdubbed it.

Indeed. A classic punch in.

Heh heh. 'Punching in' is what you do to pick up after a mistake.
Overdubbing replaces the original section completely.

Not around here. One punches in a short segment, a phrase, even just a
note or two to replace a mistake.

Terminology could be different in the UK.

Stephen