fix numbering bug in instructions