diff --git a/docs/index.html b/docs/index.html
index a85e5d3ea..a8fbd7930 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -503,7 +503,7 @@ html { font-family: 'Inter', sans-serif; }
       <h4 id="faq-start-date"><a href="#faq-start-date">
         This website claims work started in 2016, but the git repository's log says it started later?
       </a></h4>
-      Inter was developed in an a private, internal git repository
+      Inter was developed in a private, internal git repository
       starting in November 2016, prior to being published on August 22, 2017.
       Between November 2016 and August 2017, there were
       <num>2&#x2006;990&#x2006;150</num> line edits made across 247 versions.
@@ -512,7 +512,7 @@ html { font-family: 'Inter', sans-serif; }
       the author works and had some sensitive information "checked in",
       like AWS server details and internal author identity in
       all commit messages. Maybe one day we can write an elaborate git
-      filter-branch program and convert the filter the old repository to make
+      filter-branch program and convert the old repository to make
       it public, but what would be the point of that?&nbsp; :—)
     </c>