[graph-tool] Thanks!