diff --git a/download.html b/download.html
index 7f886de..8cb5f39 100644
--- a/download.html
+++ b/download.html
@@ -16,7 +16,7 @@
 <section>
 <h2>Binaries</h2>
 <p>
-The binaries of the new Vampire can be <a href="https://github.com/vprover/vampire/releases">downloaded from GitHub</a> and used under the terms of the <a href="licence.html">Vampire License</a>.
+The binaries of the new Vampire can be <a href="https://github.com/vprover/vampire/releases">downloaded from GitHub</a> and used under the terms of the <a href="licence.html">Vampire Licence</a>.
 All binaries are statically linked, which means that you should be able to run them out of the box.
 </p>
 
@@ -33,6 +33,6 @@ <h2>Binaries</h2>
 <h2>Source</h2>
 <p>
 Please access the source via the <a href="https://github.com/vprover/vampire">GitHub</a> repository.
-Source code is provided under the terms of the <a href="/licence.html">Vampire License</a>.
+Source code is provided under the terms of the <a href="/licence.html">Vampire Licence</a>.
 </p>
 </section>
diff --git a/index.html b/index.html
index 6e464d7..3f577f6 100644
--- a/index.html
+++ b/index.html
@@ -20,7 +20,7 @@
 
 <p><b>NEW LICENCE!</b> We are very pleased to announce that Vampire is now available under a <a href="https://vprover.github.io/licence.html">BSD 3-Clause licence</a>, allowing (free) industrial and academic usage. 
   It would be great to hear from you if you are making use of this new licence within your work. Please join our <a href="https://groups.google.com/g/vprover?pli=1"> very low-traffic mailing list</a> for updates. 
-You may also want to want to use the <a href="https://github.com/vprover/vampire/issues">GitHub Issues</a> page for questions or issues.
+You may also want to use the <a href="https://github.com/vprover/vampire/issues">GitHub Issues</a> page for questions or issues.
 </p>
 
 <h3>Features</h3>
diff --git a/licence.html b/licence.html
index cd7f767..beb2bb5 100644
--- a/licence.html
+++ b/licence.html
@@ -8,7 +8,7 @@
 Since November 2020 we have moved Vampire to a permissive Modified BSD licence (see below). This supersedes all previous licences. 
 </p>
 <p>
-This licence now expliciltly allows commercial use of Vampire. 
+This licence now explicitly allows commercial use of Vampire. 
 </p>
 
 <p>