Added formating of the time for milliseconds