[boost] documentation bug report for boost::random