diff --git a/README.md b/README.md
index b10d58b9..456e66bf 100644
--- a/README.md
+++ b/README.md
@@ -529,7 +529,7 @@ is unified with a term that contains that variable as a proper
 subterm. For efficiency, the *occurs check* is omitted by default
 in Scryer Prolog and many other Prolog systems.
 
-In Scryer Prolog, performing unifications which succeed only if the
+In Scryer Prolog, unifications which succeed only if the
 *occurs check* is omitted yield *cyclic terms*, also called
 *rational trees*. For example: