fix bug in add_defaults_to_specs()