diff --git a/.github/workflows/coveralls.yml b/.github/workflows/coveralls.yml
index ff88dea1..04e1c816 100644
--- a/.github/workflows/coveralls.yml
+++ b/.github/workflows/coveralls.yml
@@ -38,7 +38,7 @@ jobs:
           LLVM_PROFILE_FILE: "opensk-%p-%m.profraw"
       - name: Run grcov
         run: RUSTUP_TOOLCHAIN=nightly grcov . --binary-path ./libraries/opensk/target/debug/ --source-dir libraries/opensk/ --output-type lcov --ignore-not-existing --output-path ./lcov.info --ignore "/*" --ignore "examples/*" --ignore "third_party/*"
-      - uses: coverallsapp/github-action@2
+      - uses: coverallsapp/github-action@2.2.3
         name: upload report to coveralls
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/docs/install.md b/docs/install.md
index fad13696..5e8f781b 100644
--- a/docs/install.md
+++ b/docs/install.md
@@ -46,8 +46,8 @@ might work for you.
 ### Compiling the firmware
 
 If this is your first time installing OpenSK, please skip directly to
-[Initial setup](#Initial-setup). Else, see
-[Updating your setup](#Updating-your-setup) below.
+[Initial setup](#initial-setup). Else, see
+[Updating your setup](#updating-your-setup) below.
 
 #### Updating your setup
 
@@ -140,7 +140,7 @@ From here on, please follow the instructions for your hardware:
 ### Advanced installation
 
 We recommend that you flash your development board with JTAG and dongles with
-DFU, as described in the [board documentation](#Flashing-a-firmware) linked
+DFU, as described in the [board documentation](#flashing-a-firmware) linked
 above. However, we support other programmers:
 
 *   OpenOCD: `./deploy.py --board=nrf52840_dongle_opensk --opensk