I see the player ends at 43 seconds but continues with the audio for longer. It seems there is an issue with the video export. Thanks for the report, I'll re-encode and upload it now!

This should be fixed.