Fix doc example for sorted_set