Remove unnecessary dummy let-indirection