fix bug in instructions