Re: [graph-tool] Are these bugs?