--- a/Overview.html	Wed Jun 20 14:23:18 2012 +0200
+++ b/Overview.html	Wed Jun 20 15:35:26 2012 +0200
@@ -287,7 +287,9 @@
  in the <a href="#list-of-pending-notifications">list of pending notifications</a> or the
  <a href="#list-of-active-notifications">list of active notifications</a> whose <a href="#tag">tag</a> equals
  <var title="">notification</var>'s <a href="#tag">tag</a>, run the
- <a href="#replace-steps">replace steps</a> and terminate these steps.
+ <a href="#replace-steps">replace steps</a> for that
+ <a href="#concept-notification" title="concept-notification">notification</a> and
+ <var title="">notification</var>, and then terminate these steps.
 
  <li><p>If the device allows notifications to be displayed immediately
  without limitations on the number of concurrent notifications, run

--- a/Overview.src.html	Wed Jun 20 14:23:18 2012 +0200
+++ b/Overview.src.html	Wed Jun 20 15:35:26 2012 +0200
@@ -265,7 +265,9 @@
  in the <span>list of pending notifications</span> or the
  <span>list of active notifications</span> whose <span>tag</span> equals
  <var title>notification</var>'s <span>tag</span>, run the
- <span>replace steps</span> and terminate these steps.
+ <span>replace steps</span> for that
+ <span title=concept-notification>notification</span> and
+ <var title>notification</var>, and then terminate these steps.
 
  <li><p>If the device allows notifications to be displayed immediately
  without limitations on the number of concurrent notifications, run