printed times now include timezone, which gets converted.
difficult to avoid