diff --git a/Web Pages/documentation.html b/Web Pages/documentation.html
index bec05df..a0ef868 100644
--- a/Web Pages/documentation.html
+++ b/Web Pages/documentation.html
@@ -79,7 +79,7 @@
up at the domain I purchased. Per Yash Vesikar's recommendation, I looked into GitHub Pages
to host my website directly from a GitHub repository. This comes with the added benefit that changes are live as soon as you push them to the master branch
of your <username>.github.io repository. I found Trent Yang's post
- about setting up Google Domain for GitHub pages very useful.
+ about setting up Google Domains for GitHub pages very useful.