Re: [graph-tool] unexpected shortest_path result