Some revision in the description of Kruskal's algorithm.