Consistency: Replaced one {\tt ...} with \code{...}.
2 files changed