heithausi Lopes, 1975e: 485 . Type locality: Costa Rica, San José Province, Cerro de la Muerte. Distr.: Colombia (Boyacá), Costa Rica, Mexico. Refs.: Pape et al., 2004: 206.