Fixes #683

No "average: X sec per user". Does it matter?
I would prefer the date format 'c' (ISO) instead of a custom date format.