Bug in reduction kernel