lean(lp): a cleanup