[boost] Re: possible bug?