diff --git a/doc/manual/development.xml b/doc/manual/development.xml
index 4ae2ba03896..0278c617d51 100644
--- a/doc/manual/development.xml
+++ b/doc/manual/development.xml
@@ -359,9 +359,9 @@ $ qemu-system-x86_64 -kernel ./kernel/bzImage -initrd ./initrd/initrd -hda /dev/
 
     The <filename>tests/</filename> directory in the NixOS source tree
     contains several <emphasis>whole-system unit tests</emphasis>.
-    These tests can be run<note><para>NixOS tests can be run both from
+    These tests can be run<footnote><para>NixOS tests can be run both from
     NixOS and from a non-NixOS GNU/Linux distribution, provided the
-    Nix package manager is installed.</para></note> from the NixOS
+    Nix package manager is installed.</para></footnote> from the NixOS
     source tree as follows:
 
     <screen>