Re: [boost] boost.org: Minor nitpick