Fix formatting of usec part of timestamp output.