Minor cosmetic changes in kruskal & add demo