minor fix on graph-tool