Before revision: In more uncritical times , a hangman would arrive to punish Mr. Punch, only to himself be tricked into sticking his head in the noose.
After revision: In older productions , a hangman would arrive to punish Mr. Punch, only to himself be tricked into sticking his head in the noose.