fix example3; bug in lub