renumber correctly