Fix in outputting timing data in the JSON converter.