module name misinformation

module.dd

@@ -39,8 +39,9 @@ $(V2  	$(GLINK2 class, SharedStaticConstructor)
 
 
 	$(P Modules have a one-to-one correspondence with source files.
-	The module name is the file name with the path and extension
-	stripped off.
+	The module name is, by default, the file name with the path and
+	extension stripped off, and can be set explicitly with the module
+	declaration.
 	)
 
 	$(P Modules automatically provide a namespace scope for their contents.
@@ -125,8 +126,8 @@ module c.stdio;    // this is module $(B stdio) in the $(B c) package
 ---------
 
 	$(P By convention, package and module names are all lower case. This is
-	because those names have a one-to-one correspondence with the operating
-	system's directory and file names, and many file systems
+	because those names can have a one-to-one correspondence with the
+	operating system's directory and file names, and many file systems
 	are not case sensitive. All lower case package and module names will
 	minimize problems moving projects between dissimilar file systems.)