Phoxophrys tuberculata Hubrecht, 1881: 51

Holotype (by monotypy): RMNH. RENA.4140, Batang Singalang, coll. S. Müller

Type locality: Batang Singalang, West Sumatra, Indonesia

Remarks: Phoxophrys tuberculata Hubrecht, 1881 is the type species of the genus Phoxophrys Hubrecht, 1881. Uetz et al. (2019) erroneously listed BMNH [=NHMUK] 1946.8.13.92 as the holotype. This is, however, the holotype of Japalura robinsoni Boulenger, 1920, a junior synonym of Phoxophrys tuberculata.