diff --git a/doc/guix.texi b/doc/guix.texi
index 3b4ba487ad1b04f68bc50ea995c8652387968a4a..19ef8ca1a0ece6b7d2d272b73c9ade830c039f04 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -12787,8 +12787,7 @@ host.
 @item -net user
 Enable the unprivileged user-mode network stack.  The guest OS can
 access the host but not vice versa.  This is the simplest way to get the
-guest OS online.  If you do not choose a network stack, the boot will
-fail.
+guest OS online.
 
 @item -net nic,model=virtio
 You must create a network interface of a given model.  If you do not