Added default parameter to format_time