diff --git a/chapter06/makedev-inst.xml b/chapter06/makedev-inst.xml
index 571029432..75b3ecef8 100644
--- a/chapter06/makedev-inst.xml
+++ b/chapter06/makedev-inst.xml
@@ -35,5 +35,14 @@ create devices via the mknod program. Please refer to
the man and info pages of mknod if you need more
information.
+Also, if earlier in Chapter 6 you were unable to mount the devpts
+filesystem because your host uses devfs, we will now mount that devfs
+system over top of this new static /dev structure. This poses no problems,
+as the device nodes created are still present, they are just hidden by the
+new devfs filesystem. Run the following command to mount devfs, if necessary:
+
+
+mount -t devfs devfs /dev
+
diff --git a/chapter06/mountproc.xml b/chapter06/mountproc.xml
index 9304854bb..cfe40f562 100644
--- a/chapter06/mountproc.xml
+++ b/chapter06/mountproc.xml
@@ -25,14 +25,10 @@ following command:
filesystem devpts not supported by kernel
-It means that your host system does not support devpts. You have two
-options at this point. You can either not worry about it, in which case some
-of the tests we will run later will fail, or you can use the following command
-from a terminal not in chroot to put your host's pts system into your new
-LFS's filesystem:
-
-mount --bind /dev/pts $LFS/dev/pts
-
+This most likely means that your host system uses devfs, and does not
+have the necessary support for devpts in the kernel. To work around this
+problem, we will place the host's devfs system on top of the new /dev
+structure later, in the section where we run the MAKEDEV script.
You might get warning messages from the mount command, such as
these: