[michael] Fixed a minor issue with time stamp