diff --git a/.github/workflows/spell-checker.yml b/.github/workflows/spell-checker.yml
index 746bdbbd2de..45f6410d5a3 100644
--- a/.github/workflows/spell-checker.yml
+++ b/.github/workflows/spell-checker.yml
@@ -23,7 +23,7 @@ jobs:
         run: pip install codespell
       - name: Run codespell
         continue-on-error: ${{ github.event_name != 'pull_request' }}
-        run: codespell -w --skip="*.pb.go,*.pb.gw.go,*.json,*.git,*.js,*.h,*.bin,go.sum,go.mod,*.pdf,*.tla" --ignore-words=.github/.codespellignore --check-hidden
+        run: codespell -w --skip="*.pb.go,*.pb.gw.go,*.json,*.git,*.js,*.h,*.bin,go.sum,go.mod,*.pdf" --ignore-words=.github/.codespellignore --check-hidden
       - uses: peter-evans/create-pull-request@v7
         if: github.event_name != 'pull_request'
         with:
diff --git a/modules/apps/transfer/keeper/relay_model/relay.tla b/modules/apps/transfer/keeper/relay_model/relay.tla
index 7a617227876..83cb58433ff 100644
--- a/modules/apps/transfer/keeper/relay_model/relay.tla
+++ b/modules/apps/transfer/keeper/relay_model/relay.tla
@@ -98,7 +98,7 @@ SendTransferPre(packet, pbank) ==
    /\ IsNativeDenomTrace(trace) \/ (IsValidDenomTrace(trace) /\ IsKnownDenomTrace(trace))
    /\ data.sender /= NullId
    /\ <<escrow, data.denomTrace>> \in DOMAIN pbank  
-   /\ \/ amount = 0  \* SendTrasfer actually allows for 0 amount
+   /\ \/ amount = 0  \* SendTransfer actually allows for 0 amount
       \/ <<MakeAccount(sender), trace>> \in DOMAIN pbank /\ bank[MakeAccount(sender), trace] >= amount
 
 SendTransferNext(packet) ==