-corrected flag, to default to reteoo for -reteoo module.