diff --git a/doc/guix.texi b/doc/guix.texi
index 3ee65116b6..0d8f1757a3 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -17805,7 +17805,7 @@ A simple services setup for nginx with php can look like this:
                            (root "/srv/http/")
                            (locations
                             (list (nginx-php-location)))
-                           (https-port #f)
+                           (listen '("80"))
                            (ssl-certificate #f)
                            (ssl-certificate-key #f)))
                  %base-services))