As Thomas kindly pointed out to me, this is the traditional way to finish an execution.