Fixing LaTeX \texttt stuff