diff --git a/doc/guix.texi b/doc/guix.texi
index dc41fe9aea87acd907297a1200ca68c3bddee8d7..0a82219e7a4b50a6bc4e3c673c71b2ecf389f992 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -3082,7 +3082,7 @@ shells get all the right environment variable definitions:
 
 @example
 GUIX_PROFILE="$HOME/.guix-profile" ; \
-source "$HOME/.guix-profile/etc/profile"
+source "$GUIX_PROFILE/etc/profile"
 @end example
 
 In a multi-user setup, user profiles are stored in a place registered as