diff --git a/specification/chap-opendtrace-arch.tex b/specification/chap-opendtrace-arch.tex
index cfc243f..2f50fee 100644
--- a/specification/chap-opendtrace-arch.tex
+++ b/specification/chap-opendtrace-arch.tex
@@ -102,7 +102,7 @@ \section{Probe Life Cycle}
 
 The provider and kernel module remain idle until instrumentation is
 requested. Instrumentation is requested via the \texttt{dtrace}
-command in cooperation with the \texttt{libdtrace} library.  The the
+command in cooperation with the \texttt{libdtrace} library.  The
 user provides a D script, specifying the code to be run when a probe
 fires (2). When the \texttt{dtrace} command executes it initializes
 the \texttt{libdtrace} library, which in turn causes the kernel module