Changed code back for argStatsMiner.h