diff --git a/index.bs b/index.bs
index 0615f87ba..895f0ad78 100644
--- a/index.bs
+++ b/index.bs
@@ -1713,13 +1713,13 @@ with parameter |value| is:
 [=remote end definition=] and [=local end definition=]
 
 <pre class="cddl remote-cddl local-cddl">
-session.ProxyConfiguration = {
+session.ProxyConfiguration = (
    session.AutodetectProxyConfiguration //
    session.DirectProxyConfiguration //
    session.ManualProxyConfiguration //
    session.PacProxyConfiguration //
    session.SystemProxyConfiguration
-}
+)
 
 session.AutodetectProxyConfiguration = (
    proxyType: "autodetect",