Petrotyx Heller [E.] & Snodgrass [R. E.] 1903:222 Masc. Petrotyx hopkinsi Heller & Snodgrass 1903. Type by monotypy. •Valid as Petrotyx Heller & Snodgrass 1903 -- (Cohen & Nielsen 1978:37 [ref. 881], Nielsen & Cohen in Nielsen et al. 1999:49 [ref. 24448], Nielsen & Cohen in Nielsen et al. 1999:84 [ref. 24448], Nielsen & Robins 2003:969 [ref. 27008], Nielsen et al. 2006:15 [ref. 28732], Castellanos-Galindo et al. 2006:206 [ref. 28944], Carnevale & Johnson 2015:778 [ref. 34391], Møller et al. 2016:Appendix A [ref. 34432] in Bythitidae). Current status: Valid as Petrotyx Heller & Snodgrass 1903. Bythitidae.