Fix bug in split_many