Converted emph to texttt where necessary