DebugHelper: Missing leading zeros when printing milliseconds values of < 100