Re: [boost] weak_ptr, maybe empty -- doc bug?