diff --git a/nixos/doc/manual/development/option-declarations.xml b/nixos/doc/manual/development/option-declarations.xml
index d62d0896bb7..e322b6458a1 100644
--- a/nixos/doc/manual/development/option-declarations.xml
+++ b/nixos/doc/manual/development/option-declarations.xml
@@ -41,8 +41,9 @@ options = {
default
The default value used if no value is defined by any
- module. A default is not required; in that case, if the option
- value is never used, an error will be thrown.
+ module. A default is not required; but if a default is not given,
+ then users of the module will have to define the value of the
+ option, otherwise an error will be thrown.