rename set_default_options! to set_default_options.