set_options() now stores the old values in the stored options hash