Fix documentation for shared_future example