make TF sets ordered when inserting doc IDs