No longer crash when std::vector moves in memory when it grows. Fixed display of timer values (in ms).