leave comment and fix minor bug for Kruskal