diff --git a/doc/installation.xml b/doc/installation.xml
index ab24e8a4..835b6996 100644
--- a/doc/installation.xml
+++ b/doc/installation.xml
@@ -47,9 +47,9 @@
      Make sure you have a working Nix installation. If you are not using NixOS
      then it may be necessary to run
     </para>
-<programlisting>
-$ mkdir -m 0755 -p /nix/var/nix/{profiles,gcroots}/per-user/$USER
-</programlisting>
+<screen>
+<prompt>$</prompt> <userinput>mkdir -m 0755 -p /nix/var/nix/{profiles,gcroots}/per-user/$USER</userinput>
+</screen>
     <para>
      since Home Manager uses these directories to manage your profile
      generations. On NixOS these should already be available.
@@ -71,17 +71,17 @@ $ mkdir -m 0755 -p /nix/var/nix/{profiles,gcroots}/per-user/$USER
      Add the Home Manager channel that you wish to follow. This is done by
      running
     </para>
-<programlisting>
-$ nix-channel --add https://github.com/rycee/home-manager/archive/master.tar.gz home-manager
-$ nix-channel --update
-</programlisting>
+<screen>
+<prompt>$</prompt> <userinput>nix-channel --add https://github.com/rycee/home-manager/archive/master.tar.gz home-manager</userinput>
+<prompt>$</prompt> <userinput>nix-channel --update</userinput>
+</screen>
     <para>
      if you are following Nixpkgs master or an unstable channel and
     </para>
-<programlisting>
-$ nix-channel --add https://github.com/rycee/home-manager/archive/release-18.09.tar.gz home-manager
-$ nix-channel --update
-</programlisting>
+<screen>
+<prompt>$</prompt> <userinput>nix-channel --add https://github.com/rycee/home-manager/archive/release-18.09.tar.gz home-manager</userinput>
+<prompt>$</prompt> <userinput>nix-channel --update</userinput>
+</screen>
     <para>
      if you follow a Nixpkgs version 18.09 channel.
     </para>
@@ -100,9 +100,9 @@ export NIX_PATH=$HOME/.nix-defexpr/channels${NIX_PATH:+:}$NIX_PATH
      Run the Home Manager installation command and create the first Home
      Manager generation:
     </para>
-<programlisting>
-$ nix-shell '&lt;home-manager&gt;' -A install
-</programlisting>
+<screen>
+<prompt>$</prompt> <userinput>nix-shell '&lt;home-manager&gt;' -A install</userinput>
+</screen>
     <para>
      Once finished, Home Manager should be active and available in your user
      environment.