diff --git a/en_US.ISO8859-1/books/handbook/kernelconfig/chapter.sgml b/en_US.ISO8859-1/books/handbook/kernelconfig/chapter.sgml
index 42b8ae3854..7908657b30 100644
--- a/en_US.ISO8859-1/books/handbook/kernelconfig/chapter.sgml
+++ b/en_US.ISO8859-1/books/handbook/kernelconfig/chapter.sgml
@@ -1272,8 +1272,7 @@ pseudo-device   bpf           # Berkeley packet filter</programlisting>
 	    kernels.  Simply choose the kernel you want to boot from at
 	    the FreeBSD boot loader. You can access this when the system
 	    counts down from 10.  Hit any key except for the enter key,
-            type <command>unload
-            <replaceable>kernel</replaceable></command> and then type
+            type <command>unload</command> and then type
 	    <command>boot
 	    <replaceable>kernel.old</replaceable></command>, or the
 	    filename of any other kernel that will boot properly. When