minor fix in add_defaults_to_specs()