@@ -543,7 +543,7 @@ class Eq a => Ord a where
543543Intermediate values of \emph{non-dependent} types can be inspected using a
544544\texttt{case} expression. For example, \texttt{list\_lookup} looks up an index
545545in a list, returning \texttt{Nothing} if the index is out of bounds. This can
546−be used this to write \texttt{lookup\_default}, which looks up an index and
546+be used to write \texttt{lookup\_default}, which looks up an index and
547547returns a default value if the index is out of bounds:
548548
549549\begin{SaveVerbatim}{listlookup}