fixed bug in ExprLet