Merge pull request #317 from w3c/remove-f

Remove errant character

Author: martinthomson

index.html

@@ -1033,7 +1033,7 @@ <h2>
           attribute</a> whose corresponding <a>event handler event type</a> is
           "`pushsubscriptionchange`".
         </p>
-      </section>f
+      </section>
       <section data-dfn-for="PushEvent">
         <h2>
           <dfn>PushEvent</dfn> Interface