diff --git a/doc/stdenv.xml b/doc/stdenv.xml
index 6bb1002a4c6..c3a32487ecd 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