diff --git a/tests/lean/copy-produced b/tests/lean/copy-produced
index d61ab156f1..89d44a76e4 100755
--- a/tests/lean/copy-produced
+++ b/tests/lean/copy-produced
@@ -3,5 +3,5 @@
 root="$(realpath $(dirname $0))"
 cd ${1:-$PWD}
 for f in $(find . -name '*.expected.out'); do
-    cp ${f/expected/produced} "$root/$f"
+    cp ${f/.expected/.produced} "$root/$f"
 done