Fix return type of get_config