diff --git a/man/kernel-install.xml b/man/kernel-install.xml
index 3d5aebf2e0b..4f30e9b2524 100644
--- a/man/kernel-install.xml
+++ b/man/kernel-install.xml
@@ -286,8 +286,8 @@
         </varlistentry>
       </variablelist>
 
-      <para><varname>$KERNEL_INSTALL_INITRD_GENERATOR</varname> and <varname>$KERNEL_INSTALL_UKI_GENERATOR</varname> 
-      are set for plugins to select the initrd and/or UKI generator. This may be configured as 
+      <para><varname>$KERNEL_INSTALL_INITRD_GENERATOR</varname> and <varname>$KERNEL_INSTALL_UKI_GENERATOR</varname>
+      are set for plugins to select the initrd and/or UKI generator. This may be configured as
       <varname>initrd_generator=</varname> and <varname>uki_generator=</varname> in <filename>install.conf</filename>, see below.</para>
 
       <para><varname>$KERNEL_INSTALL_STAGING_AREA</varname> is set for plugins to a path to a directory.
@@ -417,7 +417,8 @@
             <varname>MACHINE_ID=</varname>,
             <varname>BOOT_ROOT=</varname>,
             <varname>layout=</varname>,
-            <varname>initrd_generator=</varname>.
+            <varname>initrd_generator=</varname>,
+            <varname>uki_generator=</varname>.
             See the Environment variables section above for details.</para>
           </listitem>
       </varlistentry>