The local value of option was not copied to the top-level “options_” structure,
as it is done for “nograph” and “nodisplay”.