Finalizing the on-the-fly debug