Fix printing of the instructions.