Kruskal's tweak