Improve documentation
diff --git a/scripts/abi_check.py b/scripts/abi_check.py
index 12ee44e..7e6d7fc 100755
--- a/scripts/abi_check.py
+++ b/scripts/abi_check.py
@@ -10,7 +10,7 @@
 abi-dumper tools, applying them to compare the ABI and API of the library
 files from two different Git revisions within an Mbed TLS repository.
 The results of the comparison are either formatted as HTML and stored at
-a configurable location, or a brief list of problems found is output.
+a configurable location, or are given as a brief list of problems.
 Returns 0 on success, 1 on ABI/API non-compliance, and 2 if there is an error
 while running the script. Note: must be run from Mbed TLS root.
 """
@@ -357,10 +357,10 @@
                 to compare the ABI and API of the library files from two
                 different Git revisions within an Mbed TLS repository.
                 The results of the comparison are either formatted as HTML and
-                stored at a configurable location, or a brief list of problems
-                found is output. Returns 0 on success, 1 on ABI/API
-                non-compliance, and 2 if there is an error while running the
-                script. Note: must be run from Mbed TLS root."""
+                stored at a configurable location, or are given as a brief list
+                of problems. Returns 0 on success, 1 on ABI/API non-compliance,
+                and 2 if there is an error while running the script.
+                Note: must be run from Mbed TLS root."""
             )
         )
         parser.add_argument(