In his work of 1876, Carter said type-locality unknown, but in his work of 1880 he had discovered that the type ... [details]