diff --git a/nixos/doc/manual/from_md/development/option-types.section.xml b/nixos/doc/manual/from_md/development/option-types.section.xml
index 444729292702..c67e183581c2 100644
--- a/nixos/doc/manual/from_md/development/option-types.section.xml
+++ b/nixos/doc/manual/from_md/development/option-types.section.xml
@@ -617,6 +617,12 @@
(Example: Submodule defined
as a reference).
+
+ Note that even if your submodule’s options all have a default
+ value, you will still need to provide a default value (e.g. an
+ empty attribute set) if you want to allow users to leave it
+ undefined.
+ Example: Directly defined