La especie tipo es: "Ochotonophila allochrusoides" Gilli