diff --git a/index.html b/index.html
index 679992343..975eee785 100644
--- a/index.html
+++ b/index.html
@@ -79,6 +79,10 @@ set that maps user names to Home Manager configurations.</p><p>For example, a Ni
 home-manager.users.eve = { pkgs, ... }: {
   home.packages = [ pkgs.atool pkgs.httpie ];
   programs.bash.enable = true;
+
+  # The state version is required and should stay at the version you
+  # originally installed.
+  system.stateVersion = "23.05";
 };</pre><p>and after a <code class="literal">sudo nixos-rebuild switch</code> the user eve’s environment should
 include a basic Bash configuration and the packages atool and httpie.</p><div class="note"><h3 class="title">Note</h3><p>If <code class="literal">nixos-rebuild switch</code> does not result in the environment you expect,
 you can take a look at the output of the Home Manager activation script output using</p><pre class="programlisting console">$ systemctl status "home-manager-$USER.service"</pre></div><p>If you do not plan on having Home Manager manage your shell
@@ -113,6 +117,10 @@ that maps user names to Home Manager configurations.</p><p>For example, a nix-da
 home-manager.users.eve = { pkgs, ... }: {
   home.packages = [ pkgs.atool pkgs.httpie ];
   programs.bash.enable = true;
+
+  # The state version is required and should stay at the version you
+  # originally installed.
+  system.stateVersion = "23.05";
 };</pre><p>and after a <code class="literal">darwin-rebuild switch</code> the user eve’s environment
 should include a basic Bash configuration and the packages atool and
 httpie.</p><p>If you do not plan on having Home Manager manage your shell