specify the interface name in the definition of default values i.e. 'The XXX attribute of the YYY interface MUST [...]'
--- a/proximity/Overview.html Thu Dec 20 11:31:22 2012 +0200
+++ b/proximity/Overview.html Thu Dec 20 13:31:00 2012 +0200
@@ -192,22 +192,22 @@
<dd></dd>
</dl>
<p>
- The <code>value</code> attribute MUST return the value it was
- initialized to. When the object is created, this attribute MUST be
- initialized to positive Infinity. It represents the <a>current device
- proximity</a>.
+ The <code>value</code> attribute of the <a>DeviceProximityEvent</a>
+ interface MUST return the value it was initialized to. When the
+ object is created, this attribute MUST be initialized to positive
+ Infinity. It represents the <a>current device proximity</a>.
</p>
<p>
- The <code>min</code> attribute MUST return the value it was
- initialized to. When the object is created, this attribute MUST be
- initialized to negative Infinity. It represents the <a>minimum sensing
- distance</a>.
+ The <code>min</code> attribute of the <a>DeviceProximityEvent</a>
+ interface MUST return the value it was initialized to. When the
+ object is created, this attribute MUST be initialized to negative
+ Infinity. It represents the <a>minimum sensing distance</a>.
</p>
<p>
- The <code>max</code> attribute MUST return the value it was
- initialized to. When the object is created, this attribute MUST be
- initialized to positive Infinity. It represents the <a>maximum sensing
- distance</a>.
+ The <code>max</code> attribute of the <a>DeviceProximityEvent</a>
+ interface MUST return the value it was initialized to. When the
+ object is created, this attribute MUST be initialized to positive
+ Infinity. It represents the <a>maximum sensing distance</a>.
</p>
<p>
When a <dfn>user agent</dfn> is required to <dfn>fire a device
@@ -316,10 +316,10 @@
<dd></dd>
</dl>
<p>
- The <code>near</code> attribute MUST return the value it was
- initialized to. When the object is created, this attribute MUST be
- initialized to false. It represents the <a>current user proximity
- state</a>.
+ The <code>near</code> attribute of the <a>UserProximityEvent</a>
+ interface MUST return the value it was initialized to. When the
+ object is created, this attribute MUST be initialized to false.
+ It represents the <a>current user proximity state</a>.
</p>
<p>
When a <dfn>user agent</dfn> is required to <dfn>fire a user