Typo in Technical Note 010: Barrelfish Specification.

diff --git a/doc/010-spec/Spec.tex b/doc/010-spec/Spec.tex
index 15231a2..fa35c6a 100644 (file)
--- a/doc/010-spec/Spec.tex
+++ b/doc/010-spec/Spec.tex
@@ -362,7 +362,7 @@
 
   It should be noted that endpoint capabilities may be freely copied, and do not
   uniquely identify a sender. An endpoint capability can be
-  transferred to several dispatchers, all of whom may use the that same
+  transferred to several dispatchers, all of whom may use the same
   endpoint and thus the same buffer when sending messages.
 
   \subsection{Message Transfer}