Tweak pretty_print_disassembler's intro comment