replace some \code with \texttt