Correction on l:show_result_after_run