Minor edit in Kruskal comments.