(maint) Fix unit of profile output

The profile aggregation stated that the times were in milliseconds (ms), but
they are actually in seconds (s).