small change to typed reductions