Re: [boost] Bug in boost graph library