Convert \texttt

This fixes issue #11.