Fix a reduce bug. Add a comment about another one