is it right that you don't need to renumber element IDs, because elements don't have IDs?