--- a/proximity/Overview.html	Fri Dec 07 15:59:34 2012 +0200
+++ b/proximity/Overview.html	Fri Dec 07 16:03:09 2012 +0200
@@ -244,7 +244,7 @@
           <p>
             The following are the <a>event handlers</a> (and their corresponding
             <a>event handler event types</a>) that MUST be supported as
-            attributes by the <code>Window</code> object:
+            attributes by the <a>Window</a> object:
           </p>
           <table class="simple">
             <thead>
@@ -328,7 +328,7 @@
           <p>
             The following are the <a>event handlers</a> (and their corresponding
             <a>event handler event types</a>) that MUST be supported as
-            attributes by the <code>Window</code> object:
+            attributes by the <a>Window</a> object:
           </p>
           <table class="simple">
             <thead>