diff --git a/index.bs b/index.bs
index 7fff2d1e7..82c978e0c 100644
--- a/index.bs
+++ b/index.bs
@@ -4013,8 +4013,8 @@ This is a dictionary containing the [=client extension output=] values for zero
 
 ```
 AuthenticationExtensionsAuthenticatorInputs = {
-  * $$extensionInput .within ( tstr => any )
-}
+  * $$extensionInput
+} .within { * tstr => any }
 ```
 
 The [=CDDL=] type `AuthenticationExtensionsAuthenticatorInputs` defines a [=CBOR=] map
@@ -4028,8 +4028,8 @@ This type is not exposed to the [=[RP]=], but is used by the [=client=] and [=au
 
 ```
 AuthenticationExtensionsAuthenticatorOutputs = {
-  * $$extensionOutput .within ( tstr => any )
-}
+  * $$extensionOutput
+} .within { * tstr => any }
 ```
 
 The [=CDDL=] type `AuthenticationExtensionsAuthenticatorOutputs` defines a [=CBOR=] map