fix Timsort numbering