diff --git a/doc/guix.texi b/doc/guix.texi
index 68abb968b0..83a8205e2e 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -5558,6 +5558,11 @@ they should be defined in @file{.bash_profile}, which is sourced only by
 log-in shells.  @xref{Bash Startup Files,,, bash, The GNU Bash Reference
 Manual}, for details on Bash start-up files.}.
 
+Exiting from a guix environment is the same as exiting from the shell, and will
+place the user back in the old enviroment before @command{guix enviroment} was
+invoked. To remove the packages which were installed by @command{guix
+environment}, the garbage collector must be invoked using @command{guix gc}.
+
 @vindex GUIX_ENVIRONMENT
 @command{guix environment} defines the @env{GUIX_ENVIRONMENT}
 variable in the shell it spawns; its value is the file name of the