Small correction to redux_summary.txt