fix compilation error

group.tex

@@ -3450,7 +3450,7 @@ \subsection{Abelian groups and simply connected $2$-types}
 contraction. However, for any $\BG$-torsors $t$ pointed at $y: \fst t$, and with section $s$ of $\ev_{\BG_\div,\fst t}$, we obtain an
 identification $s(y) : \BG_\div \eqto \fst t$. Moreover, we know from the analysis above that $s$ is fully determined by the connected component
 of $s(y)$. Thus, to provide an identification $(t_G,\sh_G) \eqto (t , y)$, we construct $p : t_G \eqto t$ with first projection $s(y)$ by simply
-noting that {\tt to complete}.
+noting that \emph{to complete}.
 
 
 \section{$G$-sets vs $\abstr(G)$-sets}