Fix double word typos.
diff --git a/Doc/lib/libprofile.tex b/Doc/lib/libprofile.tex
index 9c5ce08..f36ebfa 100644
--- a/Doc/lib/libprofile.tex
+++ b/Doc/lib/libprofile.tex
@@ -533,7 +533,7 @@
There is a fundamental problem with deterministic profilers involving
accuracy. The most obvious restriction is that the underlying ``clock''
is only ticking at a rate (typically) of about .001 seconds. Hence no
-measurements will be more accurate that that underlying clock. If
+measurements will be more accurate than the underlying clock. If
enough measurements are taken, then the ``error'' will tend to average
out. Unfortunately, removing this first error induces a second source
of error...