Reporter: time format tweaks.