--- a/proximity/Overview.html	Wed Dec 19 16:01:53 2012 -0500
+++ b/proximity/Overview.html	Thu Dec 20 11:17:48 2012 +0200
@@ -236,7 +236,7 @@
           fresh data. Different devices can also support different minimum and
           maximum sensing distances as well as different resolution, thus
           authors are strongly advised to use the <a>UserProximityEvent</a>
-          interface if the are only interested in finding out if the user is
+          interface if they are only interested in finding out if the user is
           near or far.
         </div>
         <section>