diff --git a/.github/tools/release.sh b/.github/tools/release.sh
index f239df1..e96f68a 100755
--- a/.github/tools/release.sh
+++ b/.github/tools/release.sh
@@ -28,7 +28,7 @@ use_repo(arm_toolchain, "arm_none_eabi")
 register_toolchains("@arm_none_eabi//toolchain:all")
 
 arm_toolchain.arm_none_linux_gnueabihf()
-use_repo(arm_toolchain)
+use_repo(arm_toolchain, "arm_none_linux_gnueabihf")
 register_toolchains("@arm_none_linux_gnueabihf//toolchain:all")
 \`\`\`
 
diff --git a/README.md b/README.md
index 06568e0..96c5775 100644
--- a/README.md
+++ b/README.md
@@ -68,7 +68,7 @@ use_repo(arm_toolchain, "arm_none_eabi")
 register_toolchains("@arm_none_eabi//toolchain:all")
 
 arm_toolchain.arm_none_linux_gnueabihf()
-use_repo(arm_toolchain)
+use_repo(arm_toolchain, "arm_none_linux_gnueabihf")
 register_toolchains("@arm_none_linux_gnueabihf//toolchain:all")
 ```