Few fixes in reducer.h