More than one solution is possible: you could have chosen different edges weighted 7 and 8.
In the textbook, the algorithm keeps going for the edges of weight 9, 10 and 11, but it could be modified to stop after |V| - 1 edges have been added.