fixed formatting of instruction numbers