diff --git a/spec.html b/spec.html
index e7eeb3dbf2d..ec0314bb497 100644
--- a/spec.html
+++ b/spec.html
@@ -9636,7 +9636,7 @@
Runtime Semantics: IteratorBindingInitialization (
- _iteratorRecord_: unknown,
+ _iteratorRecord_: an Iterator Record,
_environment_: unknown,
): either a normal completion containing ~unused~ or an abrupt completion
@@ -20860,7 +20860,7 @@
Runtime Semantics: IteratorDestructuringAssignmentEvaluation (
- _iteratorRecord_: unknown,
+ _iteratorRecord_: an Iterator Record,
): either a normal completion containing ~unused~ or an abrupt completion