Substitute names for six primary homonyms in the feather mite genus Proctophyllodes Robin, 1868 (Acariformes: Proctophyllodidae)

Six cases of primary homonyms were identified for the species and subspecies names originally given to eleven nominal taxa in the feather mite genus Proctophyllodes Robin, 1868 (Proctophyllodidae: Proctophyllodi­nae). Previously, experts did not recognize these homonyms because identical species-group names have been established in different subgenera of the above genus. Subsequently, nominal taxa bearing a senior homonymic name, as well as both taxa in the homonymic pairs, were transferred to different genera and families. Under the Article 57.4 of the acting ICZN Code, we herein propose substitute names for the following junior homonyms. Proctophyllodes aphyllus Gaud and Mouchet, 1957 [preocc.: Proctophyllodes (Alloptes) aphyllus Trouessart, 1885 (Proctophyllodidae: Monojoubertia] is renamed to Proctophyllodes triangularis nom.n. Proctophyllodes elegans Atyeo and Braasch, 1966 [preocc.: Proctophyllodes (Pterocolus) elegans Trouessart, 1887 (Trouessartiidae: Unis­cutalges)] is renamed to Proctophyllodes elegantiphyllus nom.n. Proctophyllodes euryurus Atyeo and Braasch, 1966 [preocc.: Proctophyllodes (Alloptes) euryurus Trouessart, 1885 (Alloptidae: Ceraturoptellus)] is renamed to Procto­phyllodes eurypygus nom.n. Proctophyllodes (Pterodectes) intermedius Trouessart and Neumann, 1888 [preocc.: Proctophyllodes (Proctophyllodes) intermedius Trouessart, 1885 (Proctophyllodidae: Pterodectinae: Pterodectes, species inquerendum] is renamed to Anisophyllodes atyeoi nom.n. (Proctophyllodidae: Proctophyllodinae). Proc­tophyllodes minor Berla, 1959 [preocc.: Proctophyllodes (Alloptes) phaetontis minor Trouessart, 1885 (Alloptidae: Laminalloptes)] is renamed to Platyacarus berlai nom.n. (Proctophyllodidae: Proctophyllodinae). Proctophyllodes (Alloptes) bisetatus minor Trouessart, 1885: 68 [preocc.: Proctophyllodes (Alloptes) phaetontis minor Trouessart, 1885: 67 (Alloptidae: Laminalloptes)], also known under the combination Alloptes crassipes minor, is renamed to Alloptes (Alloptes) dubinini nom.n. (Alloptidae: Alloptinae).