[boost] [boost.thread] Documentation code error