Fix bugs in instruction printing.