Clean up linearizer output that got uglified by the show_instruction()