diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml
index 225dd5239d9..9b87b40ccaa 100644
--- a/doc/manual/installation.xml
+++ b/doc/manual/installation.xml
@@ -39,7 +39,7 @@ $ nix-channel --update
nixos.
Check out Nixpkgs from
- as
+ as
nixpkgs.Build the ISO image: