Add leptus_sup