diff --git a/schema/Claim.schema.yaml b/schema/Claim.schema.yaml
index b70b0242..592f6da7 100644
--- a/schema/Claim.schema.yaml
+++ b/schema/Claim.schema.yaml
@@ -16,7 +16,7 @@ properties:
     description: Kind of the claim.
     type: string
     enum:
-      - Claim
+      - Statement
       - Theorem
       - Lemma
       - Proof