diff --git a/doc/manual/command-ref/nix-instantiate.xml b/doc/manual/command-ref/nix-instantiate.xml
index fe077ff65..874228954 100644
--- a/doc/manual/command-ref/nix-instantiate.xml
+++ b/doc/manual/command-ref/nix-instantiate.xml
@@ -24,6 +24,7 @@
+
@@ -116,24 +117,6 @@ input.
-
-
- When used with , print the resulting
- value as an XML representation of the abstract syntax tree rather than as
- an ATerm. The schema is the same as that used by the toXML built-in.
-
-
-
-
-
-
- When used with , print the resulting
- value as an JSON representation of the abstract syntax tree rather
- than as an ATerm.
-
-
-
When used with ,
@@ -148,6 +131,24 @@ input.
+
+
+ When used with , print the resulting
+ value as an JSON representation of the abstract syntax tree rather
+ than as an ATerm.
+
+
+
+
+
+ When used with , print the resulting
+ value as an XML representation of the abstract syntax tree rather than as
+ an ATerm. The schema is the same as that used by the toXML built-in.
+
+
+
+
When used with , perform