Changed the log time formatting to include leading zeros for the milliseconds. Might as well...