diff --git a/README.md b/README.md
index 5129aec..80fe73f 100644
--- a/README.md
+++ b/README.md
@@ -5,5 +5,5 @@ Formalization of results regarding ordered semigroups.
 [Here is the blueprint](https://ericluap.github.io/OrderedSemigroups/blueprint/) and [here is the documentation](https://ericluap.github.io/OrderedSemigroups/docs/) for the project.
 The blueprint contains natural language versions of what is proved and links to the corresponding formalization in the documentation.
 
-The formalization follows the paper "On ordered Semigroups" by N.G. Alimov.
+The formalization follows the paper "On ordered semigroups" by N.G. Alimov.