diff --git a/index.bs b/index.bs
index 784da787..ee39c354 100644
--- a/index.bs
+++ b/index.bs
@@ -11324,9 +11324,9 @@ ExtensionsCommand = (
 [=local end definition=]
 
 <pre class="cddl local-cddl">
-ExtensionsResult = (
+ExtensionsResult = {
   extensions.InstallResult
-)
+}
 </pre>
 
 ### Types ### {#module-extensions-types}