debug reduce (but didn't reproduce the problem)