. . . "Eleutherodactylus varleyi" .