fix formatting of instructions: