diff --git a/.github/workflows/markdown-lint.yml b/.github/workflows/markdown-lint.yml
index fdd91890..6598bb9b 100644
--- a/.github/workflows/markdown-lint.yml
+++ b/.github/workflows/markdown-lint.yml
@@ -13,10 +13,9 @@ jobs:
 
     strategy:
       matrix:
-        os: ["ubuntu-latest"]
         node-version: [20.x]
-        # See supported Node.js release
-        # schedule at https://nodejs.org/en/about/releases/
+        # See supported Node.js release schedule
+        # at https://nodejs.org/en/about/releases/
 
     steps:
       - name: Checkout repository
diff --git a/Dockerfile b/Dockerfile
index 7b5f04d1..888da8ad 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -85,7 +85,7 @@ CMD ["make", "test", "-e", "{DEBUG}"]
 ###############################################################################
 ### In production stage
 ## in the production phase, "good practices" such as
-## WORKSPACE and USER are maintained
+## WORKDIR and USER are maintained
 ##
 FROM builder AS production