minor changes to timer/profiler formatting