Fix bug in other_config setter.