diff --git a/en_US.ISO8859-1/books/faq/book.sgml b/en_US.ISO8859-1/books/faq/book.sgml
index 77a8c4e1f8..cda6303f42 100644
--- a/en_US.ISO8859-1/books/faq/book.sgml
+++ b/en_US.ISO8859-1/books/faq/book.sgml
@@ -7097,7 +7097,7 @@ ttyvb   "/usr/libexec/getty Pc"         cons25  off secure</programlisting>
           <para>and notice that your mouse does not work properly.</para>
 
           <para>If this happens, disable the synchronization check code
-            by setting the driver flags for the PS/2 mouse driver to 0x100.
+            by setting the driver flags for the PS/2 mouse driver to <literal>0x100</literal>.
             Enter <emphasis>UserConfig</emphasis> by giving the
             <option>-c</option> option at the boot prompt:</para>