[Python-Dev] Python Profilers documentation - typo?

The documentation at     https://docs.python.org/3.2/library/profile.html contains the sentence     For example, if your_integer_time_func() returns times measured in thousands of seconds, you would construct the Profile instance as follows: "thousands of seconds" should ISTM be "thousandths of a second". There is essentially the same thing in the Python 2 docs at     https://docs.python.org/2/library/profile.html viz.     For example, if the timer returns times measured in _thousands_ of seconds, the time unit would be |.001|. Just trying for perfection! Best wishes Rob Cliffe