Re: [boost] Can some check fix for #766; note on bug reports