Is there a reason that this uses PetscOptionsHasName instead of PetscOptionsGetTruth? I would prefer the latter behavior because it would let me switch options on and off without deleting and retyping the option name. Jed