. . . "Eleutherodactylus hedricki" .