Index: doc/Object.man
===================================================================
diff -u -ra2fc04fd98cd2b3474742190887d1258a70ec164 -r4f897a65ff7bd5cbdccccf152973cde188b6a684
--- doc/Object.man	(.../Object.man)	(revision a2fc04fd98cd2b3474742190887d1258a70ec164)
+++ doc/Object.man	(.../Object.man)	(revision 4f897a65ff7bd5cbdccccf152973cde188b6a684)
@@ -596,8 +596,34 @@
 
 [list_end]
 
+[cmd_def property]
+
+[list_begin definitions]
+
 [include property.man.inc]
 
+By default, the [term property] will ascertain that no (potentially)
+pre-existing and equally named object variable will be overwritten
+when defining the property. In case of a conflict, an error exception
+is thrown:
+
+[example {
+% Object create obj { set :x 1 }
+::obj
+% ::obj object property {x 2}
+object ::obj has already an instance variable named 'x'
+}]
+
+If the [term switch] [option -nocomplain] is on, this check is omitted (continuing the above example):
+
+[example {
+% ::obj object property -nocomplain {x 2}
+% ::obj eval {set :x}
+2
+}]
+
+[list_end]
+
 [cmd_def alias]
 [list_begin definitions]
 
Index: doc/property.man.inc
===================================================================
diff -u -ra2fc04fd98cd2b3474742190887d1258a70ec164 -r4f897a65ff7bd5cbdccccf152973cde188b6a684
--- doc/property.man.inc	(.../property.man.inc)	(revision a2fc04fd98cd2b3474742190887d1258a70ec164)
+++ doc/property.man.inc	(.../property.man.inc)	(revision 4f897a65ff7bd5cbdccccf152973cde188b6a684)
@@ -9,10 +9,6 @@
 [keywords "switch"]
 [keywords "value checker"]
 
-[cmd_def property]
-
-[list_begin definitions]
-
 [call [arg obj] [const [vset SCOPE]] [method property] [opt "-accessor public|private|protected"] [opt "-configurable [arg trueFalse]"] [opt -incremental] [opt "-class [arg className]"] [opt -nocomplain] [arg spec] [opt [arg initBlock]]]
 
 Defines a [term property] for the scope of the [vset SCOPE]. For every
@@ -45,26 +41,6 @@
 
 [para]
 
-By default, the [term property] will ascertain that no (potentially)
-pre-existing and equally named object variable will be overwritten
-when defining the property. In case of a conflict, an error exception
-is thrown:
-
-[example {
-% Object create obj { set :x 1 }
-::obj
-% ::obj object property {x 2}
-object ::obj has already an instance variable named 'x'
-}]
-
-If the [term switch] [option -nocomplain] is on, this check is omitted (continuing the above example):
-
-[example {
-% ::obj object property -nocomplain {x 2}
-% ::obj eval {set :x}
-2
-}]
-
 The [arg spec] provides the [term property] specification as a [cmd list] holding
 at least one element or, maximum, two elements: [emph propertyName][opt ":[emph typeSpec]"] [opt [emph defaultValue]]. The [arg propertyName] sets
 the name of the property and the corresponding object variable(s). It
@@ -82,12 +58,4 @@
 [list_begin arguments]
 [arg_def switch -incremental in] ...
 
-
-
-
-
 [list_end]
-
-
-
-[list_end]