This ticket now has a simple solution: https://svn.boost.org/trac/boost/ticket/816#comment:4 Since it just changes the docs, it won't break any code and will help avoid any complaints about the documentation when some user inadvertently includes duplicates in the args to set. Could this doc change be applied and the ticket closed? -Larry