Article 76. Type locality.
76.1. Definition. The type locality of a nominal species-group taxon is the geographical (and, where relevant, stratigraphical) place of capture, collection or observation of the name-bearing type; if there are syntypes and no lectotype has been designated, the type locality encompasses the localities of all of them [Art. 73.2.3].
76.1.1. If capture or collection occurred after transport by artificial means, the type locality is the place from which the name-bearing type, or its wild progenitor, began its unnatural journey.
Recommendation 76A. Type localities.
76A.1. In ascertaining or clarifying a type locality (and type horizon, type host, and similar terms), an author should take into account:
76A.1.1. data accompanying the original material;
76A.1.2. collector's notes, itineraries, or personal communications;
76A.1.3. the original description of the taxon; and
76A.1.4. as a last resort, and without prejudice to other clarification, localities within the known range of the taxon or from which specimens referred to the taxon had been taken.
76A.2. A statement of a type locality that is found to be erroneous should be corrected.
76.2. Type locality determined by the lectotype. The place of origin of the lectotype becomes the type locality of the nominal species-group taxon, despite any previously published statement of the type locality (see Recommendation 74E).
76.3. Type locality determined by the neotype. The place of origin of the neotype becomes the type locality of the nominal species-group taxon, despite any previously published statement of the type locality.