tools.time: fix documentation error (reported by Mitchell N Charity)
tools.time: fix documentation error (reported by Mitchell N Charity)

kingcons/factor,mcandre/factor,mcandre/factor,kingcons/factor,kingcons/factor,kingcons/factor,erg/factor,mcandre/factor,mcandre/factor,mcandre/factor,mcandre/factor,erg/factor,erg/factor,erg/factor,erg/factor,erg/factor,mcandre/factor,erg/factor