--- a/Overview.html	Thu Jun 07 08:12:58 2012 +0200
+++ b/Overview.html	Thu Jun 07 08:18:30 2012 +0200
@@ -220,8 +220,8 @@
  be displayed.
 </dl>
 
-<p class="note">The conceptual "<code title="">default</code>", but meaning
-"<code title="">granted</code>" does not exist. In that case
+<p class="note">There is no equivalent to "<code title="">default</code>"
+meaning "<code title="">granted</code>". In that case
 "<code title="">granted</code>" is simply returned as there would be no reason
 for the application to ask for <a href="#permission-0">permission</a>.
 
@@ -236,7 +236,9 @@
 <p>The <dfn id="show-steps">show steps</dfn> for a given <var title="">notification</var> are:
 
 <ol>
- <li><p>If notifications are not allowed, cancel any ongoing
+ <li><p>If <a href="#permission-0">permission</a> for the current
+ <a class="external" href="http://tools.ietf.org/html/rfc6454#section-4">origin</a> is not
+ "<code title="">granted</code>", cancel any ongoing
  <a class="external" href="http://www.whatwg.org/specs/web-apps/current-work/multipage/fetching-resources.html#fetch">fetch</a> for
  <var title="">notification</var>'s <a href="#icon-url">icon URL</a>,
  <a class="external" href="http://www.whatwg.org/specs/web-apps/current-work/multipage/webappapis.html#queue-a-task">queue a task</a> to

--- a/Overview.src.html	Thu Jun 07 08:12:58 2012 +0200
+++ b/Overview.src.html	Thu Jun 07 08:18:30 2012 +0200
@@ -198,8 +198,8 @@
  be displayed.
 </dl>
 
-<p class=note>The conceptual "<code title>default</code>", but meaning
-"<code title>granted</code>" does not exist. In that case
+<p class=note>There is no equivalent to "<code title>default</code>"
+meaning "<code title>granted</code>". In that case
 "<code title>granted</code>" is simply returned as there would be no reason
 for the application to ask for <span>permission</span>.
 
@@ -214,7 +214,9 @@
 <p>The <dfn>show steps</dfn> for a given <var title>notification</var> are:
 
 <ol>
- <li><p>If notifications are not allowed, cancel any ongoing
+ <li><p>If <span>permission</span> for the current
+ <span data-anolis-spec=origin>origin</span> is not
+ "<code title>granted</code>", cancel any ongoing
  <span data-anolis-spec=html>fetch</span> for
  <var title>notification</var>'s <span>icon URL</span>,
  <span data-anolis-spec=html>queue a task</span> to