Correct reduction of second argument