Fix an incorrect BBB instruction