Fix format_result