fixed output format of timestamp