diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index ad5db990d..3ed5ae13d 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -27,9 +27,9 @@ jobs:
 
       - name: Print a comment in case of failure
         run: |
-          echo "The README.md filer are not up to date.
+          echo "The README.md files are not up to date.
 
-          Please, run make docs before pushing."
+          Please, run \"make docs\" before pushing."
           exit 1
         if: |
           failure() && github.event.pull_request.head.repo.full_name == github.repository