update example
lean example