fixed formatting of printing of milliseconds