minor chnages in ExecReducer