diff --git a/ast/spec.md b/ast/spec.md
index f56ac4331d..2e0becb5b4 100644
--- a/ast/spec.md
+++ b/ast/spec.md
@@ -967,7 +967,7 @@ interface AssignmentProperty <: ObjectProperty {
 
 interface ObjectPattern <: Pattern {
   type: "ObjectPattern";
-  properties: [ AssignmentProperty | RestPattern ];
+  properties: [ AssignmentProperty | RestElement ];
 }
 ```