Correct documentation for UI_get0_result_string