It really doesn't matter though. this tmp_batchsize isn't used for anything anywhere, so is just an extra complication for no reason.