diff --git a/tests/lean/sig2.lean b/tests/lean/sig2.lean
index 604a2a09a..8a5da6021 100644
--- a/tests/lean/sig2.lean
+++ b/tests/lean/sig2.lean
@@ -2,7 +2,7 @@ check sig x : Nat, x > 0
 check tuple 10, 20
 check tuple 10, true
 check tuple true, 20
-check tuple (Bool # Nat) : true, 20
+check tuple Bool # Nat : true, 20
 check tuple true, true
 check tuple Bool ⨯ Bool : true, true
 variable a : Nat