diff --git a/Doc/lib/libformatter.tex b/Doc/lib/libformatter.tex
index 1a5150d..94cd6d6 100644
--- a/Doc/lib/libformatter.tex
+++ b/Doc/lib/libformatter.tex
@@ -104,10 +104,10 @@
 value, are used to compute label values.  Each character in the format
 string is copied to the label value, with some characters recognized
 to indicate a transform on the counter value.  Specifically, the
-character ``\code{1}'' represents the counter value formatter as an
-arabic number, the characters ``\code{A}'' and ``\code{a}'' represent
+character \samp{1} represents the counter value formatter as an
+arabic number, the characters \samp{A} and \samp{a} represent
 alphabetic representations of the counter value in upper and lower
-case, respectively, and ``\code{I}'' and ``\code{i}'' represent the
+case, respectively, and \samp{I} and \samp{i} represent the
 counter value in Roman numerals, in upper and lower case.  Note that
 the alphabetic and roman transforms require that the counter value be
 greater than zero.
diff --git a/Doc/libformatter.tex b/Doc/libformatter.tex
index 1a5150d..94cd6d6 100644
--- a/Doc/libformatter.tex
+++ b/Doc/libformatter.tex
@@ -104,10 +104,10 @@
 value, are used to compute label values.  Each character in the format
 string is copied to the label value, with some characters recognized
 to indicate a transform on the counter value.  Specifically, the
-character ``\code{1}'' represents the counter value formatter as an
-arabic number, the characters ``\code{A}'' and ``\code{a}'' represent
+character \samp{1} represents the counter value formatter as an
+arabic number, the characters \samp{A} and \samp{a} represent
 alphabetic representations of the counter value in upper and lower
-case, respectively, and ``\code{I}'' and ``\code{i}'' represent the
+case, respectively, and \samp{I} and \samp{i} represent the
 counter value in Roman numerals, in upper and lower case.  Note that
 the alphabetic and roman transforms require that the counter value be
 greater than zero.