From 3fafc22d659eccb596c502f6c77070e39970af6b Mon Sep 17 00:00:00 2001
From: Brian Birtles <birtles@gmail.com>
Date: Fri, 23 Aug 2019 10:31:43 +0900
Subject: [PATCH] [web-animations-1] Tweak descriptions of processing
 dictionary arguments

As of #4235 these arguments will always be set.

The change to animate() simply corrects an existing oversight.
---
 web-animations-1/Overview.bs | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/web-animations-1/Overview.bs b/web-animations-1/Overview.bs
index 4f2dbd8687cf..b1dee8bd287c 100644
--- a/web-animations-1/Overview.bs
+++ b/web-animations-1/Overview.bs
@@ -4725,16 +4725,11 @@ interface KeyframeEffect : AnimationEffect {
         :   If <var>options</var> is a {{KeyframeEffectOptions}} object,
         ::  Let <var>timing input</var> be <var>options</var>.
 
-        :   If <var>options</var> is a <code>double</code>,
+        :   Otherwise (if <var>options</var> is a <code>double</code>),
         ::  Let <var>timing input</var> be a new
             {{EffectTiming}} object with all members set to their default values
             and {{EffectTiming/duration}} set to <var>options</var>.
 
-        :   Otherwise (<var>options</var> is undefined),
-        ::  Let <var>timing input</var> be a new
-            {{EffectTiming}} object with all members set to their default
-            values.
-
     1.  Call the procedure to [=update the timing properties of an
         animation effect=] of |effect| from |timing input|.
 
@@ -5755,7 +5750,8 @@ dictionary GetAnimationsOptions {
         of the element on which this method was called as the
         <var>timeline</var> argument.
 
-    1.  Assign the value of the <code>id</code> member of <var>options</var> to
+    1.  If <var>options</var> is a {{KeyframeAnimationOptions}} object,
+        assign the value of the <code>id</code> member of <var>options</var> to
         <var>animation</var>'s {{Animation/id}} attribute.
 
     1.  Run the procedure to <a>play an animation</a> for