diff --git a/.github/workflows/dafny-interop.yml b/.github/workflows/dafny-interop.yml
index 3db81b28c..8ea19e432 100644
--- a/.github/workflows/dafny-interop.yml
+++ b/.github/workflows/dafny-interop.yml
@@ -7,16 +7,16 @@ on:
   workflow_dispatch:
     inputs:
       mpl-dafny:
-        description: "The Dafny version to compile the MPL with (4.2.0, dafny-nightly, etc..)"
+        description: "The Dafny version to compile the MPL with (4.2.0, nightly-latest, etc..)"
         required: true
         type: string
       mpl-commit:
-        description: "The MPL commit to use"
+        description: "The MPL branch/commit to use"
         required: false
-        default: "HEAD"
+        default: "main"
         type: string
       dbesdk-dafny:
-        description: "The Dafny version to compile the DBESDK with (4.2.0, dafny-nightly, etc..)"
+        description: "The Dafny version to compile the DBESDK with (4.2.0, nightly-latest, etc..)"
         required: true
         type: string
 
diff --git a/.github/workflows/dafny_interop_java.yml b/.github/workflows/dafny_interop_java.yml
index 3eda6dc07..98ad044cf 100644
--- a/.github/workflows/dafny_interop_java.yml
+++ b/.github/workflows/dafny_interop_java.yml
@@ -63,7 +63,7 @@ jobs:
           java-version: ${{ matrix.java-version }}
 
       - name: Build MPL with Dafny ${{inputs.mpl-dafny}}
-        working-directory: submodules/MaterialProviders/submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders
+        working-directory: submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders
         run: |
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')