Removals from renumbering of examples.