* final.c (final_scan_insn): Fix broken commit from previous