diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index b4af8382bab..2b134ba4f70 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -62,7 +62,7 @@ jobs:
 
       - name: Deploy
         # publish docs only when PR is merged
-        if: github.event.pull_request.merged == 'true'
+        if: github.event.pull_request.merged == true
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/README.md b/README.md
index cb462c1c06a..b9f1d6af928 100644
--- a/README.md
+++ b/README.md
@@ -37,9 +37,10 @@ the source code, run the tests, and contribute your changes to the project.
 [tests-badge]: https://github.com/Arduino/arduino-cli/workflows/test/badge.svg
 [nightly-badge]: https://github.com/Arduino/arduino-cli/workflows/nightly/badge.svg
 [codecov-badge]: https://codecov.io/gh/arduino/arduino-cli/branch/master/graph/badge.svg
+[Install]: https://arduino.github.io/arduino-cli/installation
 [User documentation]: https://arduino.github.io/arduino-cli/
 [Getting Started]: https://arduino.github.io/arduino-cli/getting-started/
-[Commands reference]: https://arduino.github.io/arduino-cli/commands/
+[Commands reference]: https://arduino.github.io/arduino-cli/commands/arduino-cli
 [FAQ]: https://arduino.github.io/arduino-cli/FAQ/
 [How to contribute]: https://arduino.github.io/arduino-cli/CONTRIBUTING/
 [contributors]: https://github.com/arduino/arduino-cli/graphs/contributors