typo

P2-Comonoids.tex

@@ -8844,7 +8844,7 @@ \subsubsection{Examples of $p$-tree categories}
 Hence $\car{t}_{B\yon}\iso B^\nn\yon^\nn$ is the carrier of the category of $B\yon$-trees $\cofree{B\yon}$.
 As in \cref{ex.yon_tree_nn}, we identify the set of rooted paths of a given $B\yon$-tree with $\nn$, so that $n\in\nn$ is the $B\yon$-tree's unique length-$n$ rooted path.
 
-In fact, we have already seen the category $\cofree{B\yon}$ once before: it is the category of $B$-streams from \cref{ex.streams_category}.\index{streamss}
+In fact, we have already seen the category $\cofree{B\yon}$ once before: it is the category of $B$-streams from \cref{ex.streams_category}.\index{streams}
 
 \begin{itemize}
     \item Recall that a $B$-stream is an element of $B^\nn$ interpreted as a countable sequence of elements $b_n\in B$ for $n\in\nn$, written like so: