Leptodirus Schmidt, 1832