Several corrections. Reduce size of texttt.