minor changes REDUCE