fix witList, and lem/@wit