diff --git a/libISA/isa_fmt.ml b/libISA/isa_fmt.ml
index 7be127e0..85ed0e87 100644
--- a/libISA/isa_fmt.ml
+++ b/libISA/isa_fmt.ml
@@ -848,7 +848,7 @@ let declaration ?(short=false) (fmt : PP.formatter) (x : AST.declaration) : unit
           nbsp fmt;
           eq fmt;
           nbsp fmt;
-          parens fmt (fun _ -> commasep fmt (varname fmt) es);
+          braces fmt (fun _ -> commasep fmt (varname fmt) es);
           semicolon fmt
       | Decl_Var (v, t, loc) ->
           kw_var fmt;