fix renumbering