Not the most elegant punch ever (where's the reaction force?), but it did the trick.
It's interesting to see techniques slowed down like this - all the little things that aren't perfect jump out a lot more. As do one's facial expressions. Luckily martial arts training isn't about ego.