diff --git a/README.md b/README.md
index 27c6f6485a8f7234e761372795329b08e5015683..a5390e83c8ec4676a584454d7b38cc99fc1aa709 100644
--- a/README.md
+++ b/README.md
@@ -125,8 +125,7 @@ The syntax of formulas is as follows:
 - ``b:x`` is the ``(x+1)``th procedure argument
 - ``__top`` is equivalent to ``l:0`` (the root loop scope)
 - ``loops:`` contains information about loops hierarchy, where
-  elements of ``X _c Y`` form state that ``the loop X is in the body
-  of the loop Y``
+  elements of ``X _c Y`` form state that ``the loop X contains the loop Y``
 - ``endl`` indicates the end of the formula
 
 The instantiator C codes and binaries are generated in