lean* is not converted anymore