Right, I guess my point was it would be nice if it just had a default that worked well in the common case, then users wouldn't have to pass that on the command line (like it is now, except that the default apparently doesn't work well). And for the uncommon case, folks can just tweak the number in the script.