diff --git a/scripts/tri b/scripts/tri
index 2e835df73d..08002a7269 100755
--- a/scripts/tri
+++ b/scripts/tri
@@ -530,9 +530,9 @@ if [[ ! -x "$T27C" ]]; then
   fi
   exit 2
 fi
-
 case "$cmd" in papers) exec "$T27C" test-report "$REPO_ROOT/specs/numeric/paper_claims.t27" "${@:2}";;
-  factory) exec "$T27C" test-report "$REPO_ROOT/specs/t27f/reel_factory.t27" "${@:2}";; t27t) exec "$T27C" test-report "$REPO_ROOT/specs/t27t/t27t.t27" "${@:2}";; esac
+  factory) exec "$T27C" test-report "$REPO_ROOT/specs/t27f/reel_factory.t27" "${@:2}";;
+  t27t) exec "$T27C" test-report "$REPO_ROOT/specs/t27t/t27t.t27" "${@:2}";; esac
 # Most subcommands are implemented in the Rust `tri` binary (cli/tri),
 # which is a DIFFERENT binary from t27c. Everything not handled above was
 # forwarded to t27c, so every one of them existed and was unreachable through the