Consistency:  In two \section{} headers, change {\tt ...} to \sectcode{...}.
2 files changed