fix definition of nrmini batches in new code