diff --git a/doc/guix.texi b/doc/guix.texi
index 2d42ca8de26..0a965f53c0b 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2945,9 +2945,9 @@ mount /dev/sda2 /mnt
 Mount special block devices and Linux-specific directories:
 
 @example sh
-mount --bind /proc /mnt/proc
-mount --bind /sys /mnt/sys
-mount --bind /dev /mnt/dev
+mount --rbind /proc /mnt/proc
+mount --rbind /sys /mnt/sys
+mount --rbind /dev /mnt/dev
 @end example
 
 If your system is EFI-based, you must also mount the ESP partition.