specify correct branch in instructions