fix time reporting

It was off by three orders of magnitude; no big deal!