Small tweaks to times in progress reports.