Time profiler: small bug fix.
Time profiler: debug message removed.