diff --git a/en_US.ISO8859-1/books/faq/book.sgml b/en_US.ISO8859-1/books/faq/book.sgml
index fc70a8346b..3c44bb4ee2 100644
--- a/en_US.ISO8859-1/books/faq/book.sgml
+++ b/en_US.ISO8859-1/books/faq/book.sgml
@@ -7734,10 +7734,10 @@ UserConfig> quit
cursor may jump to the upper-left corner of the screen every
so often.
- Specify the flags 0x04 to
- the PS/2 mouse driver to put the mouse into the high
- resolution mode. Enter UserConfig by
- giving the option at the boot prompt:
+ Specify the flags 0x04 to the PS/2 mouse driver to put
+ the mouse into the high resolution mode. Enter
+ UserConfig by giving the
+ option at the boot prompt:boot: -c