diff --git a/doc/stdenv.xml b/doc/stdenv.xml
index c3a32487ecd2..6bb1002a4c67 100644
--- a/doc/stdenv.xml
+++ b/doc/stdenv.xml
@@ -260,10 +260,10 @@ executed and in what order:
Specifies the phases. You can change the order in which
phases are executed, or add new phases, by setting this
variable. If it’s not set, the default value is used, which is
- prePhases unpackPhase patchPhase preConfigurePhases
- configurePhase preBuildPhases buildPhase checkPhase
- preInstallPhases installPhase fixupPhase preDistPhases
- distPhase postPhases.
+ $prePhases unpackPhase patchPhase $preConfigurePhases
+ configurePhase $preBuildPhases buildPhase checkPhase
+ $preInstallPhases installPhase fixupPhase $preDistPhases
+ distPhase $postPhases.
Usually, if you just want to add a few phases, it’s more