diff --git a/.github/workflows/acl2.yml b/.github/workflows/acl2.yml
index 66169b694e..ecfff270ae 100644
--- a/.github/workflows/acl2.yml
+++ b/.github/workflows/acl2.yml
@@ -62,13 +62,13 @@ jobs:
             echo "Canonicalization - Success!"
           else
             echo "Canonicalization Failures:";
-            for $dir in ${canonicalization_errors[@]};
+            for dir in ${canonicalization_errors[@]};
             do
               echo $dir;
             done;
 
             echo "Attaching logs:"
-            for $dir in ${canonicalization_errors[@]};
+            for dir in ${canonicalization_errors[@]};
             do
               cat tmp/tgc/$dir/canonicalization_result.out
             done;
@@ -79,13 +79,13 @@ jobs:
             echo "Type Inference - Success!"
           else
             echo "Type Inference Failures:";
-            for $dir in ${type_inference_errors[@]};
+            for dir in ${type_inference_errors[@]};
             do
               echo $dir;
             done;
 
             echo "Attaching logs:"
-            for $dir in ${type_inference_errors[@]};
+            for dir in ${type_inference_errors[@]};
             do
               cat tmp/tgc/$dir/type_inference_result.out
             done;