Minor changes to match the style guide.
diff --git a/Doc/lib/libtime.tex b/Doc/lib/libtime.tex
index b12e774..82953db 100644
--- a/Doc/lib/libtime.tex
+++ b/Doc/lib/libtime.tex
@@ -126,11 +126,12 @@
\end{funcdesc}
\begin{funcdesc}{clock}{}
-Return the current CPU time as a floating point number expressed in
+Return the current processor time as a floating point number expressed in
seconds. The precision, and in fact the very definition of the meaning
-of ``CPU time''\index{CPU time}, depends on that of the C function
-of the same name, but in any case, this is the function to use for
-benchmarking\index{benchmarking} Python or timing algorithms.
+of ``processor time''\index{CPU time}\index{processor time}, depends on
+that of the C function of the same name, but in any case, this is the
+function to use for benchmarking\index{benchmarking} Python or timing
+algorithms.
\end{funcdesc}
\begin{funcdesc}{ctime}{\optional{secs}}