Added a bit of evaluation and replaced texttt with a code macro.