diff --git a/index.bs b/index.bs
index f17a576d..bde78e22 100644
--- a/index.bs
+++ b/index.bs
@@ -1612,7 +1612,7 @@ session.CapabilityRequest = {
   ? proxy: session.ProxyConfiguration,
   ? unhandledPromptBehavior: session.UserPromptHandler,
   Extensible
-};
+}
 </pre>
 
 The <code>session.CapabilityRequest</code> type represents a specific set of
@@ -1660,7 +1660,7 @@ session.ProxyConfiguration = {
    session.DirectProxyConfiguration //
    session.ManualProxyConfiguration //
    session.PacProxyConfiguration //
-   session.SystemProxyConfiguration //
+   session.SystemProxyConfiguration
 }
 
 session.AutodetectProxyConfiguration = (
@@ -1695,7 +1695,7 @@ session.PacProxyConfiguration = (
 )
 
 session.SystemProxyConfiguration = (
-   proxyType: "system"
+   proxyType: "system",
    Extensible
 )
 
@@ -1712,7 +1712,7 @@ session.UserPromptHandler = {
   ? confirm: session.UserPromptHandlerType,
   ? default: session.UserPromptHandlerType,
   ? prompt: session.UserPromptHandlerType,
-};
+}
 </pre>
 
 The <code>session.UserPromptHandler</code> type represents the configuration of
@@ -2262,7 +2262,7 @@ BrowserCommand = (
   browser.GetClientWindows //
   browser.GetUserContexts //
   browser.RemoveUserContext //
-  browser.SetClientWindowState //
+  browser.SetClientWindowState
 )
 </pre>
 
@@ -5809,7 +5809,7 @@ network.Cookie = {
     sameSite: network.SameSite,
     ? expiry: js-uint,
     Extensible,
-};
+}
 </pre>
 
 The <code>network.Cookie</code> type represents a cookie.
@@ -5863,7 +5863,7 @@ samesite-flag, which is from [[SAME-SITE-COOKIES]].
 network.CookieHeader = {
     name: text,
     value: network.BytesValue,
-};
+}
 </pre>
 
 The <code>network.CookieHeader</code> type represents the subset of cookie data
@@ -5905,7 +5905,7 @@ network.FetchTimingInfo = {
     responseStart: float,
     <!-- TODO responseHeadersEnd: float: Not sure quite what to use for this -->
     responseEnd: float,
-};
+}
 </pre>
 
 The <code>network.FetchTimingInfo</code> type represents the time of each part
@@ -6031,7 +6031,7 @@ network.Initiator = {
     ? request: network.Request,
     ? stackTrace: script.StackTrace,
     ? type: "parser" / "script" / "preflight" / "other"
-};
+}
 </pre>
 
 The <code>network.Initiator</code> type represents the source of a network
@@ -6115,7 +6115,7 @@ network.RequestData = {
     destination: text,
     initiatorType: text / null,
     timings: network.FetchTimingInfo,
-};
+}
 </pre>
 
 The <code>network.RequestData</code> type represents an ongoing network request.
@@ -6188,7 +6188,7 @@ To <dfn>get the request data</dfn> given |request|:
 <pre class="cddl local-cddl">
 network.ResponseContent = {
     size: js-uint
-};
+}
 </pre>
 
 The <code>network.ResponseContent</code> type represents the decoded response to
@@ -6224,7 +6224,7 @@ network.ResponseData = {
     bodySize: js-uint / null,
     content: network.ResponseContent,
     ?authChallenges: [*network.AuthChallenge],
-};
+}
 </pre>
 
 The <code>network.ResponseData</code> type represents the response to a network
@@ -7928,7 +7928,7 @@ used to send custom messages from the [=remote end=] to the [=local end=].
 script.ChannelValue = {
   type: "channel",
   value: script.ChannelProperties,
-};
+}
 
 script.ChannelProperties = {
   channel: script.Channel,
@@ -7997,7 +7997,7 @@ script.ExceptionDetails = {
   lineNumber: js-uint,
   stackTrace: script.StackTrace,
   text: text,
-};
+}
 </pre>
 
 The <code>script.ExceptionDetails</code> type represents a JavaScript exception.
@@ -9692,7 +9692,7 @@ To <dfn>get the source</dfn> given |source realm|:
 <pre class="cddl remote-cddl">
 script.RealmTarget = {
   realm: script.Realm
-};
+}
 
 script.ContextTarget = {
   context: browsingContext.BrowsingContext,
@@ -9702,7 +9702,7 @@ script.ContextTarget = {
 script.Target = (
   script.ContextTarget /
   script.RealmTarget
-);
+)
 </pre>
 
 The <code>script.Target</code> type represents a value that is either a