Fix get_config() function #13.